Those are actually tokens - not chips - that's why they are not in TCR. I believe they are regular play tokens and were in circulation last time I was there (March 98). Hope this helps.