I think they were intended to be used at any Harrahs location, Jill. I'm pretty sure Las Vegas used them. The Seven Stars rank was introduced about 8 years ago and I got these 3-4 years later. Came from an eBay seller, as I'd never seen them before when I played.