Does anyone know if the pool by the 50's building has it's heater fixed? We are going in November and for the last two trips the heater did not work. It gets a little chilly and does not make for an enjoyable swim. Grandkids try but even for them water too cold.