and a hefty tip to the waiter.

And I detest tipping culture, though I of course don’t fault the wait staff. I’d rather go to a local joint that pays its people appropriately…which are hard to find, admittedly.