3 ms·

Uh, the server pays income tax and social security withholding on the tip, as long as tips are reported properly.