I'm there now. I played tonight on the $5 GameKings in the high limit area (played 9/6 JoB and NSUD). I'm not familiar enough with the casino floor to check this out in the few hours I'm here, but was told tonight by another player that the other GameKings in the middle of the casino had just been relocated (don't know where) and that some new GameMakers "with the same paytables" and RED faceplates had been installed "near the charter bus area" and just turned on today.
I hope somebody more knowledgeable about Cherokee can check this out.
Bill