Todd,
My info came from the same place as Gene's, Jim Kruse. I believe that number to be a true count of the number in collector's hands. There might be more in casino employees sock drawers though.
Greg