A tip is not required. He didn’t run out on the bill. He was obviously treated poorly so he left next to nothing. So what? When I tip, it’s either 20% or nothing.
I RARELY tip 20%, and only then if the service is OUTSTANDING. (A real rarity, anymore)
I grew up being told that 10% was “Customary”. Where did this 20% BS come from?