They were also part of a "prize" for tournaments. I had a whole set years ago, in a nice wooden case from a blackjack tournament. I don't recall the casino. Here's a picture of the chips in the set.
Rich