That is annoying I hope they manage to fix soon - we're heading there in a month and we love a pool dip at the end of the day - having to travel by bus to a (likely) more crowded pool doesn't sound good.FYI the pool has closed again. Apparently there’s a burst pipe, but they don’t know how long it’s going to be to fix it. The sign in reception says it’s for the foreseeable future. The spa and kids splash pad is still open. There’s shuttles to the Riverside pool.