I went ahead and mailed her a 20 dollar money order a few minutes ago.
Looks like the Clinton War Room is in spin mode as we speak.
First the tip was on a credit card. Then when the waitress said their credit card terminal does not take tips, the representative said cash was left.
Then the other waitresses chime in that they did not get a portion of the tip either.