Restaurante El Tomillar menù, San Lorenzo de El Escorial