These tokens were indeed given out at a slot tournament and then the extras were sent to the players club. You must redeem 800 slot points to get one. I brought home 10 on our last trip during the convention. They are numbered but I never heard about putting any names on them. I got all they had at the slot booth but they said there might be more stored elsewhere.