I arrived at the Red Rock yesterday at 4PM to watch game 5 of the World
Series, only to find the place dark and nearly empty. Evidently a work
crew severed a power cable around 2PM. But things were back by 5PM or
so. This must have been a costly mistake, because the place has been
very busy every time we go there.