Here’s the response I remember from reddit (probably from servers themselves…):

Tips are often pooled. For bad service, tip 20% & find the manager to complain.

Quite the system, USA!