I found a couple of the red chips in an old box of mine a few weeks back. They were given to me years ago as a refund from an order I made through Chip Chat when I ordered a chip no longer in stock.

Apparently Doug had different ones made since mine are red with a raised circle mold, and I've seen others as well. I think I have two different denominations.