Just a note to let everyone know, the big pool is scheduled to be closed for tile repair beginning September 4th – the day after Labor Day. It will be closed for approximately one month while the work is being done. The small pool will remain open. And of course, the Gulf is open year round!!