I didn’t get servers name and I don’t recall seeing her name tag.
However, if you choose to hardline and not make an exception just apologize and move on. However, that’s what they exactly are guidelines where discretionary exceptions can be made.
I understand Casinos, Restaurants, Hotels, etc in general can be inconsistent with their policies and guidelines especially during this time.
Extremely short visit 10-15mins had a horrible encounter with cocktail server who wanted to argue and debate.