Hertel list the 25 cent chip as red. Here is what it looks like. I don't think anyone could mistake the pink for the red color.