I don't think anybody has to worry about the "vintagecomputermuseum" stealing the auction. As I wrote in the other thread about this auction, the "vintagecomputermuseum" doesn't bid above dirt cheap at auctions, and has no record of sniping (although he may rebid on occasion closer to the end of an auction on valuable items).
I guess we'll know for sure in a couple of weeks if "vintagecomputermusuem" lists the computer, or parts from the computer on eBay.
On the other hand, look at what the Successful Buyer would have been looking at: restoration of cables and wiring that mice chewed on, not so much a problem, and the mice droppings which carry disease (bigger problem unless precautions are taking when eliminating the dropping). And the chewed belts on the floppy disk drives. The Shugart 800s in this computer are first generation single-sided drives. The early analog logic boards are inferior in performance to the later LSI logic boards, the early stepper motors (with two piece housings) are prone to failure/seizing, AND what's worse, is that the Seller states that the drive belts have been chewed on by the mice.
The fabric drive belts have been proven to be very durable and reliable over the years, but they simply are not available new, and have not been available for many years/decades now. There was an earlier thread from some people looking to buy replacement belts, or have them made, and I think the last thing I read is the the price would be over $50 each in quantity if a manufacturer could be found for a group buy. Rubber belts are not a satisfactory substitute, they are not strong enough to carry the tension without stretching and slipping.
So the Buyer is looking at $500-$600 to replace the pair of floppy drives with later model Shugart 800s that will come with a warranty (that's what I charge for a pair them outright), unless he chooses the pennywise, pound foolish, method of buying and trying drives without warranty that will cost him $75-$300 each, untested and without warranty.
I have some belts, but I am holding them for customer's drives that come in for service. The only belts I use are good ones taken off drives that have been retired. As far as I know, there is not other source.