Robert,

Harrah's still manages this casino, and to the best of my knowledge, these are the only tokens used. I have not seen any with the Harrah's name on them.