I would ask that question at one of the gambling forums.

The only time I used 25¢ chips was at Lightning Bingo at Seminole here in Florida... I then became very interested in the denomination and used to buy them from James C. and DEB's.

I remember playing 25¢ Roulette in Vegas, but wasn't collecting back then.

I think your best bet is one of those gambling forums.