Save Topic
El Escorial is it closed on May 1st Holiday?

Can anyone tell me whether the site is closed on May 1st holiday?