I agree it’s the right thing to do. I always do and everyone I know always does.
I’m just saying there is no requirement to leave a tip.
The guy didn’t have to leave a tip. But he didn’t have to be so rude either.