I do not remember seeing that on the Magic in November. Carnival or Players INtl. has really changed up the Casino Operation. I think the russians have taken over. They no longer give perks, are rude, and act as though they are doing you a favor giving them your money. Prior to this cruise Players Intl had always been very generous with my wife who is a does in fact run a lot of $$ thru those machines. On the Magic this Russian guy (Manager) was downright nasty. It was not just us we talked to others and they too felt the same. I heard from friends they found the same attitude on another Carnival Ship, which tells me it is fleet wide. Carnival is really going downhill fast.
PS: I am in fact a snobby Platinum Crusier :)