Those are legally not gratuities in the US but a “service charge” if they are mandatory. The worst part is that you have no guarantee it is actually distributed to employees, and it is charged sales tax unlike gratuities.