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 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
Email me if you are interested