I thought that Chipco called them Pro-Tek tokens, or something like that. I have one from the Riverside in Laughlin. You got a trader? I want one!
Jim