These sold for $2,500 new and equivalent quality units today sell for a heck of a lot more so, I do not find the price insane. Especially of the rebuilt had the power supplies results.
For me, the set for $2,500 that has the bonus is most interesting as it has the Mattes power amp. If I were down there and not in my present medical and age condition I think I would likely go for a lookup and listen. I suspect the records will be decent and possibly the tapes, if pre-recorded will be of the same musical genre. The Ampex may need the earlier series or, later transport as the Nines bridged both periods. The Mattes is from the period of the earlier transport.
What has had me scratching my head for some time was awhile ago when persons started to first rediscovered the Nines, the going price was about $450, the same price as for a used pair of Klipsch Heresys. Considering the difference in quality and sound, if the Nines were only worth $450, the Heresys should have been selling for maybe at most $100. Shows you just how fickle the market can be. And, no I am not offering or suggesting I would sell my HIIs for that type of money.