I bought a set ($5000 & $10000) at the chip convention about 6 years ago.

I was told that they were given to high rollers and they were then redeemed at the bac table
for chips.

I sold the $10000 one a couple of years ago and still have the $5000...great looking piece of
Stardust history.