I guess it all comes down to what a “tip” is supposed to represent in a post-Covid world: A token of appreciation for truly outstanding service OR a supplement to the waiter’s direct compensation from the restaurant to bring it up to a living wage OR perhaps a bit of both depending on the “minhag hamokom” in terms of whether local rules require paying wait staff a minimum wage and the type of restaurant.
