They should know better. I was serving in CT since I was 18 and I always had to tip out the bartender and the bus people. We did not have runners. I am 59, so the practice has been alive for a long time. The calculations are in place in resorts like WDW as well as many other restaurants to protect the restaurant owner. They are responsible forr ensuring all tipped positions claim their gratuities, so it is generally based on the check in busy restaurants. Due to debit cards tracking is very important because an IRS audit is not pretty. Right now my job is in payroll and all my clients are small businesses, so not all of them have gratuity accounts that are in place to hold tips and then add them into paycheck a, but I will tell you that the owners are vigilent about making sure the tips are paid out accurately. We have the audits conducted in our office. Larger restaurants have the gratuity divided up automatically.