These two chips were apparently in use at the same time at Marina in Las Vegas in the 1980's. The colors of the chips are slightly different although TCR doesn't make a distinction.

Your choice for $15 if you already have one; both for $25. I pay shipping.