Never saw this chip, Charles, but I did play poker there in the 1980’s, and although I was in a cash game, I distinctly remember that none of the chips used had denominations. One hotstamped chip was used for a 10c ante and a Paulson metal center was a dollar. This was probably an earlier generation of chips, and perhaps was indeed a cashable chip.