My information is 100% correct in my "Official" book on this one.
I personally sold Jerry Wall 400 to 500 of each of these:
$100, $500 regular, and $500 & $1,000 Race & Sports.
Some were 400 & some 500 in the old brown chip boxes. OR did Bud Jones use these still in the mid 80's?

Many were given to employee's upon leaving. ALso there was a promotion to win these chips which were in a plastic round box like with a big sponge inside. Somehow you would get tickets playing & when they were closing you could redeem them for chips. Never quite understood that. Why they were aloud to give out chips when they closed or that last day it actually was open.

Quite a few of the $5 & $25's were sold off too but I was not involved. I picked up a box of $1's once. These sure sell well. Wish I had more!