Paco Pastel menù, San Lorenzo de El Escorial