I agree that 1250 is OTT. I sold one that I had bought in 1993, about 10 years ago for 800, with some eyepieces, dew heater and dew shield included. It also had the lovely case. I started looking for offers around the 1100 mark, and got nowhere.
Although the optics maybe fine, the electrics don't always stand the test of time. I'm guessing, but I don't think the classic mount has been available for 10 years or so. Capacitors blow sometimes, and I gather that if you are lucky, you can replace the capacitor, but if unlucky you could need a new board. The handsets can go wrong as well. The examples cited above seem much more realistic to me.