Have any $25 denomination (same as $1 and $5) chips turned up? What's the color?

I have one example left of $1 (no edge chips) for $125, and one example with edge chips and a fracture for $50.

JB