I collect Hacienda chips in particular. I don't have one of the orange 25c but have also been looking. There are several chips I'd like to find, not that expensive ($10 - $30), and have been searching for years. They may be out there but just not showing up when you need them.

Many of the chips posted on the board do sell so it's just who is looking for what and who mighht have it at the moment. Don't give up.

BTW - if you find a second orange 25c let me know.