However, the pool needs repairs ranging from stopping a leak running under the pool, improving the ventilation, and replacing the boilers.