Could be a scheduled maintenance as sometimes that happens at the Flamingo too. Draining it is sometimes the only way to make repairs. Hopefully nobody broke a glass or beer bottle as that would prompt it to be drained and cleaned. You could always ask one of the people working on it for the reason instead of making the assumptions the pumps failed.