It’s been a few years but when I was a server in Texas, we had to declare a minimum of 8% of total sales as our tip income, which is taxed. So this server would have to pay taxes as if he was tipped $40. That’s how a $13 tip quickly becomes a $5 tip.