I tend to tip pretty well in general, but I always step it up around the holidays. Adding an extra $10 or $20 on top of a 20% tip doesn’t hurt me in the long term, but it improves the day of ppl working on the holidays. I have a good career these days, but I spent a lot of time in the hospitality business in a previous life.

I err on the side of being generous and pleasant, and it has served me well, imho.