As many of you may know, Priority Pass has been adding airport restaurants to its lounge network. I haven't yet been to one, but am planning on stopping by the Corona Beach House in MIA.
https://www.prioritypass.com/en/loun...5-a1537b70eaab
The benefit looks generous: $30 per person, and each of your guests also gets $30. What I don't understand, though, is the tipping. The Priority Pass website notes that "18% gratuity is automatically added to the final bill." Does anyone know if that can be included in your $30 allowance, or must it be paid separately by the customer?