I found these chips in Alameda CA a few years ago. The guy had about 150 of them mixed in a chip rounder.
He wanted $120 for them, but I had no idea of ID...so I asked for 1 of each chip. $10 for the 6. I passed on the rest.
So....the chips are out there... somewhere.