And just to add my story. I was told over the phone by one of the "cage mgrs" that there were 7500 distributed to the different tables throughout the casino.

I was there this afternoon and there were quite a few all over the place. I had no problem asking for and getting as many as I was willing to pay for (I took 11-12 of them).

I was also told by the high-limit pit supervisor (name misplaced) that they made 15000 of them. So the range seems to be 1500-15000. If we ask enough people we should be able to get a consensus.

When I left this evening there were still plenty for everyone being used and getting mixed into the well used rack chips (so they are easy to spot).