These were in use up to when Binion bought the Mint in 1988. The red and ochre are listed in TCR. The salmon/peach one is not.

I still have a small quantity available at $45 shipped for the set of 3.
I also have a few extra each of the ochre at $15 shipped and the salmon/peach at $18 shipped
Chips are lightly used but with full hotstamps, very nice.
Email me if you are interested