It sounds like they may not have that much new water. They are taking it from a practice pool...:^)
Refill piping is likely less than 8” diameter,....so it might take several days to replace the water otherwise.