It's a whole separate category, and until the underlying way that we pay those servers changes, that expectation that you tip 15 to 20% should be part of your budgeting, part of your thinking before you go in. He suggests planning for tips as part of the budget for any trip.