I see some people have different definitions than me but defining tips as discretionary and optional. Required costs are fees and should be called such. It’s pedantic nitpicking based on a goal of explicitly paying workers and not hiding it in mandatory tipping. I hope they get what they want.