Repairs are complete. Pool will reopen on Tuesday, April 15.