They were sold in the gift shop for something like $75. I have one the casino manager gave me in 1995.
() 