Your are right Jim. I didn't look closely enough to see the GDC manumark on the artwork.

Good post showing the kinds of color-tokens that have been produced.

Here is still another example of a stickered token, this one from NCM. They actually made this style for several Nevada casinos including Caesars Palace, Silver Legacy, and Flamingo Laughlin. This type actually seemed to hold up better in the machines although they did get ugly with nicks and tears in the sticker material. They didn't seem to generate debris that clogged up the machines though as the Chipco color tokens did. NCM called this type "Kaleidoprint".