My post downthread apes yours
Well done
And it’s amazing how much a good tip can improve somebody’s day. This past Christmas took the wife and mother to dim sum as is our tradition, tipped around 30%, the server came back and gave us all hugs she was so happily flabbergasted at the tip. And the difference between my tip and a “normal” tip was probably less than $10 (I’m always shocked by how cheap the dim sum place is), who doesn’t want to drop $10 and make somebody’s Christmas. You can get a lot of big smiles just rounding your tip up to the next $5, totally worth it.