Yeah, he was very clear what they were, and tried to contact the sellers who were claiming they were from Las Vegas. He sold them at a very reasonable price (I think $4 for the $1 chips, $4 because the casino was only open a short time each year).
Michael Siskin