You may be right. Here are scans of the text and the pictures from his book.

Also, I found scans of two versions of the dollar chip from Rouge et Noir and they are certainly Chipco ceramic chips.

I think I jumped to the conclusion that they must be tokens from your post. The ones RalphP describes are almost certainly chips. He uses a T in the catalog number for tokens. Maybe the ones you show as samples were the only ones made like that.