A diner can pay a waiter a tip.