OK, thanks. I figured as much. As someone else said, since it's such a hike to the rooms, it would be nice to have bathrooms there again, although I'm sure the expense to get the pool operational again, even without bathrooms, will be huge.