It's possible, but there are a lot of them. Most of the chips that T.R.King sold were only onesies or twosies. I've wondered how they got the color so different from the two earlier red dimes. It's conceivable the salmon color was an error and the club just put them aside and never used them on the table.

Given the T.R. King reputation, it's always a possibility that some of the 'odd' chips they later sold were remakes to appeal to collectors. This would have been much later after they had been decertified as a Nevada chip supplier so they had not much to lose.