What if we had price controls for groceries but made it culturally obligatory to tip?