I am willing to pay the price for a onsite hotel for a great themed pool and walk to the park...BUT I am going to be visiting in Dec. I am not sure if it will be swim weather? I have read posts on the board that can go either way... but I am wondering if the pools are ever closed and if they are heated?? We stayed at the Dolphin last Dec. the pool was supposedly heated, but I couldn't really TELL that it was!!! Thanks for any input!