I saw these Cincinnati Horseshoe chips on ebay recently. I don't see them in the Chip Guide. Are they real casino chips?