..in the gift shop.
I have one the casino manager at the time gave me.
He used to deal poker for me on poker cruises.

I do not think they were pulled. No reason to pull them.
I think they sold out.
I also think exe's gave away more than was sold.
My friend had several boxes of them in his office.
These things are very expensive to have made.