Desde janeiro de 2011, o município passou a ser denominado oficialmente "Real Sitio de San Ildefonso" segundo deliberação da Junta de Castela e Leão publicada no Boletim Oficial do Estado de 13 de janeiro de 2011, secção III, página 4622[3].
↑«Cifras oficiales de población resultantes de la revisión del Padrón municipal a 1 de enero» (ZIP). www.ine.es (em espanhol). Instituto Nacional de Estatística de Espanha. Consultado em 19 de abril de 2022
↑«Censo 2011». Instituto Nacional de Estatística (Espanha). Arquivado do original em 15 de fevereiro de 2012
↑Mudança de denominação do município de San Idelfonso para Real Sitio de San Idelfonso[ligação inativa], Boletim Oficial do Estado, secção III, página 4622, em 13 de janeiro de 2011.