Larry, I have never gone to this place so I have no idea how the tokens are gotten. I would guess the gift shop and that is only a guess. I know they never had a strike machine. If the other three do exist I would love first to know for sure they exist. And second I would love to buy or trade for them. Not long ago they came out with a 2 ounce silver round commemorating there 100th Anniversary. I do have an extra and would love to trade it for something I can use. Silver casino.