I checked with the seller, who is not a chip collector himself. He doesn't know where it originated or if it was casino used at all. Oh well, I took a chance, and not an expensive one thank god.
Rick