Villa Corona hot swimming pool??

Have not been there for some time myself, but always enjoyed it. That pool was always available, maybe excepting Sundays. Several campers would stop there for early November, when the beach temperatures and humidity were high, much cooler at the about 4500 feet of Villa Corona's Chimulco. Amazing how they are able to drain all the pools and refill them on a daily basis. Endless warm water. Filling the much smaller pool in question was only done very late in the day and getting there while it was being filled was a nice treat, to locate under the blast from the large diameter pipe. That pool, with the stars as a roof, certainly made big steps to getting to know your neighbours in the park, and the bungalows adjacent. No glass containers in the pool, though- not a rule but just some common sense.