I have also seen auctiions for lots of the $25 chips. Any idea if the same holds true for the $100 chips?