You're right, of course, though I've found the communications from that department not that helpful, consistent or well-informed. And regardless, sometimes managers have more knowledge and leeway. But no big deal. I'll post a review after our stay.