Yes, these are the missing $25 chips from the Sui Jen, however the price tag for the auction is very high. I don't have exact numbers, but there are between 20-40 of the $25 found. There are approximately the same number for the $1 and $5 chips.

In my book, the $1 and $5 Sui Jen are marked at pretty high prices. Since these were found, the market has changed significantly (I should pull the price guide down altogether since it is so dated). I found the original 6 sets of the $1 and $5. They were "rare" and there was more demand than supply. Since then, many collectors have quit and more chips have been found, shifting the supply/demand ratio to a buyer's market. If I were to price these today, I would say you could sell around five sets of the three for $175-200 ($50 each for the $1/$5 chips and $75+ for the $25 chip) and you'd still have half the chips unsold. There would be a few more of the $25 sold to those of us who need that one piece.

So great chip, yes, but IMHO priced way too high for the market.