I just found out the High Rock Springs pool will be closed for refurbishment when we are there the first week of March. We tend to spend a good part of our trip at the pool and Paddock is our favorite spot, so now I am worried that Paddock is going to get the spill over from High Rock Springs. Should we move our stay to OKW instead? How is their main pool and slide and will it get super busy? We like the proximity to DS. Another option is to move to CSR as my DD (age 10) says she likes the look of their pool; however, I have read that with the GDT there now that the main pool gets very overcrowded. DD is very much into a good slide. Thank you!