When a diner leaves a tip, they rightly expect it to go to staff. In full.

I’m concerned about recent reports suggesting some restaurants pocket tips for themselves. That’s just not right.