I think that is the correct number. In any case I was able to find a single $ .25 Treasure Bay Tunica hot stamped chip last week. I believe that this is the only specimen that is not currently in a collection. This chip is in almost new condition with no rim nicks. Given that the one chip that was put on Ebay went for over $400, I will take the best offer over $250.