Actualmente, más que patio de Armas se puede considerar patio de ocio del Parador Nacional.

(Mayo de 2017)