Jim, you had good reason to think their other chips might also be hot-stamped.
They also had hot-stamped $.25, $.50 & $1.00 chips to go along with their $5.00 chips in that issue.
Only their higher denominations had inlayed centers.
Of course, they now have these two chips in play: