My point is the actual definition of both gratuity and tip requires they be optional. Those businesses are using the word incorrectly, but that doesn’t change the definition.