Is the Dolphin Cove open? According to Screamscape.com, it closed again on May 4th to resurface the bottom of the pool.