Rob,
I freely admit, up front, that I've been a fan of Alpha (ETO/Alpha) amps since the 1970's....since meeting Dick Enhorn himself at Miami hamfest, and seeing these wonderful amps (77dx, etc.) in person (in 1977/78 ?)...since hearing my first 77Sx on the air in the late 70's (took me ~ 20 years before I could afford one / find one....and another 20 years to acquire a second one)...
Yep...I own three Alpha amps, two 77Sx's and one 78....all working perfectly....and, I'm a very happy customer....wicked clean, almost indestructible, super easy-to-tune, etc.!
I've got a little money left in the piggy bank and wanted to put it on a full 1500 watt amplifier. The first that comes to my mind is the Alpha 9500. But it seems long in the tooth and the website for Alpha seems lacking and well, unmonitored these days. Am I better off looking at a newer amplifier that uses solid state transistors compared to an Alpha 9500 that's seems to have always been the one to beat? New amps are definitely cheaper. I don't think the 9500 is worth nearly $9,000 but that's just my opinion.
And, I highly recommend the older "legacy" Alpha amps, 77Dx, 77Sx, 76CA, 78, etc.! They are very well designed and very, very well built!
I personally feel (and many of my fellow hams agree) that the Alpha 77Dx is the definitive "best" amateur desktop amp ever made.
Now, it's clear that the 9500 is a great amp. Well designed and well built....and, it will run 1500 watts out, carrier, brick-on-the-key, no-time-limit! And, it's the cleanest HF amp on-the-market today! (excellent IMD) And, is almost impossible to over-drive, and/or damage the '9500! All-in, a great amp! BUT...
But, even I don't recommend spending ~ $8500 for an Alpha 9500!
Yes, my email to Alpha (of earlier this summer) was answered in about 15 minutes, by the owner of the company Mike Dishop, himself....and, while I am a fan of Alpha, I still find it tough to recommend spending almost $9k on a 9500.

A '9500 is simply
not an "auto-tune version of a 77dx", it really isn't....it has less cooling capacity, has less-powerful power supply....has an air-variable Tune cap versus a 7.5kv vacuum-variable....and, looking from the other perspective, it uses a micro-processor to operate it, rather than a human being...oh, and it costs you twice the price of a used 77Dx, with a new Eimac tube, will cost you!
9500:

77Dx:

And, even an Alpha fan like me wonders why in the world they haven't updated / corrected their website? Even if they don't want to do "online ordering", at least put a customer-service phone # into a page that you get to if you click on "order", etc., so you can speak to a live person (during regular business hours), yes?
As for some of the "other" used Alpha's, like the 86, 89, etc....yes, they too are well designed and well made, and if find one at a good price, I'd say go-for-it!
But, like some others, I'd be weary of an Alpha 87 or any used microprocessor-controlled and/or auto-tuning amps, unless you're well-versed in amp repair and/or modification....(now, if the processors/firmware, etc. fails in an Alpha 87 and there is no longer an "Alpha" factory to get any support from, nor anyone like Dick Byrd, etc. to assist....there is no reason an Alpha 87 cannot be modified to simply be a manual-tune-only amp, and remove all micro-processor-driven protection devices, etc., and still have a super amp....but, these modifications are not for a novice, etc.)
So...
So, to sum-up, unless you get some good answers from Mike D. as to why they haven't updated their website, etc...and, some sense of a good feeling that they/he is going to be there for at least the next few years....even a longtime Alpha amp owner and fan such as myself, cannot now honestly recommend the 9500 at almost $9k!

My advice, look for a clean, unmodified 77Dx, and it will last you decades without issue!

73,
John, KA4WJA