Wonder if he’s paying taxes on his tips.
As I understand it, the IRS pretty much tells you what tips you earned and you pay tax on it whether you got them or not.