Hi - I'm staying at Coronado in early December. I heard they are closing the whole pool area in September but I am also reading conflicting reports about how long it will be closed (one month to 3 months). Has anyone heard anything? I know it will be quite chilly in December but my crazy husband and kids will probably still go in the pool. And the smaller pools will not cut it.... My luck the main pool will be closed and it will be in the 80's.