I rarely put a tip on a credit/debit slip. Cash goes to the server. If the employees pool their tip money and split it among the kitchen staff too, that's their business arrangement. Government doesn't need to know. Moreover, some restaurants have been known to steal tip money.
