I picked up an old collection of casino dice. One die has, what looks like Circus Circus stamped over Caesars Palace. It looks like Caesar on the other side. Is this a real casino die or was someone messing around with stamping at the factory? Should something like this be in the chip Guide?