Madrid en Navidad

Hola- Estaremos de viaje en España durante dos semanas-12 / 12-12 / 27 y saldremos de Madrid. ¿Alguien sabe si los trenes AVE funcionan el día de Navidad o Nochebuena, y qué restaurantes podrían estar abiertos para la cena de Navidad. Estamos tratando de decidir si vamos a pasar la Navidad en Sevilla o ir a Madrid para Navidad. Cualquier consejo sería muy apreciado!