“Repairs to the failed pump are underway, and the pool is now projected to open on Monday, June 23, 2025, pending equipment delivery and no further issues,” the release read.