YI 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.