Joe, my guess is that his grandfather recently visited Gamblers General Store, which had thousands of these chips when I stopped in during the convention. They're still 79 cents each.