De todas maneras, si no recuerdo mal, hasta las 5 o 6 no se podía hacer uso de parte de las instalaciones (depende de si hay grupos que salen ese dia, la última vez había un cumpleaños), así que tampoco vale mucho la pena ir con prisa a la comida si luego hay que esperar un rato.
Yo este año no puedo ir, pero pensando en la gente que se pega la paliza (Murcia, Barcelona, Huelva...), creo que las 15:00 es buena hora...