Hi All, I'm the owner of these chips and I just thought I'd throw it out there in case this helps that I was going through these today and found several red chips that are hotstamped with "JKI" on one side instead of "JCX". You can see them in the picture below

I'm not sure if it helps but I'm still looking for info on these.