When the Greek, Archie Karas, has his run in the mid 90's. I know for a fact he had 50M in Binions $5000 chips.
He had them all in safety deposit boxes at the Shoe.
I was in Jimmy Albrechts office along with Jack Binion.
The cage called for Jack. Told him Archie had all of them and they needed some for a player.
Please ask Archie to turn some in.

That said 23,000 of $5000 chips? I can not imagine a casino had that many.
But could be.
10,000 20,000 23,000 $5,000 whats the difference? There is more than enough for every club member to have one for $10 if people would quit running up the price on ebay.