I imagine if it sells the buyer will get a really good deal, I doubt many people will have enough cash to bid. 950 pins starting at $7500, that's only $7.89 a pin, and those are darned nice pins!
So okay we all get together pitch in $100 and buy it just to keep those pins safe... then we lock em up and make a deal the one to live the longest get to keep them.