These are samples of the color slot tokens made by Chipco and by Green Duck Corp. GDC token looks a lot like the Chipco Protec II tokens but the inlay is a lot different and may be a sticker rather than thin plastic attached by heat-welding. Is that Donald Duck wearing a top-hat on the back of the GDC?

The first Chipco is enameled metal while the other 3 are Protec II series.

Yours for $10 each, delivered in USA.