Remember the cost estimates taking in inflation for vintage gear? Maybe considering they're not making anything like this today, and getting perhaps a premium restored unit in perfect cosmetic condition makes this the best thing in high quality vintage gear that may be reasonably expected to run another 20+ years.
Some folks on AK have suggested that if new receivers could be built today just like they were in "the good 'ol days", they'd find some interested buyers, albeit at a much higher price. Well, maybe this is just what happened with this auction.
There are plenty of folks, here in the US and abroad, who really love these pieces, and if you can get a super quality restored piece, then what price is too much? Imagine this sitting in someone's home, surrounded by equally quality gear, in a town, city, or even country where this type of American gear is really rare.
Hopefully, whoever is buying it, will appreciate and use it. That the parallel between enthusiasts and collectors. Its just that many collectors sometimes have deeper pockets than most. Just the way it is.
I don't enjoy seeing American made (or in more cases, made in Japan) quality pieces getting shipped around the world, but that is today's economy and audio market. And like good capitalism, those that have the $$$ may get the spoils.
Just my 0.02.