The server is wrong. The customer tips the same way I do. They use the tip to round out the bill. Sometimes the tip ends up being huge and sometimes it's small. But as long as it rounds out to a good looking number it's fine. I have friends that calculate the tip with their phone. I think that's worse.
I have nothing interesting to put here.