Given that people usually tip by card, in a way they do (not sure if businesses usually subtract the processing fee from the amount they pay out their workers).