> the tip is included by default in the restaurant price. So now your choices are - add additional tip if you’re really satisfied with your service, or retract the default tip if you’ve been wronged in some way.

What's the default tip, that is to say, what's the max you are allowed to detract? Is it the same everywhere or does the default very by restaurant? I could see the appeal to laziness resulting in more consistent tipping, but also fewer tips for exceptional/attractive/flirty waitstaff.

Ultimately, I'd much rather do away with tipping entirely. I grew up never questioning it until I spent some time in places where tipping just wasn't a thing, and I've resented it ever since.