To tell you the truth, I don't have a clue; I know if you plug 'em into a wall socket and push "ON", the CRT lights up, the fans start up, and the machine goes through a POST, so I think they're fine. They were removed from service where I work by the electronic calibration tech (he replaced them with a $23,000.00 system that does everything but kiss you). He said they might need minor repairs, but they couldn't be used in our facility any longer, because they didn't meet the FAA test requirements any longer. I work in the mechanical calibration lab, but I don't know anything about electronic calibration. I DO know that Tektronix is a highly regarded builder of oscilloscopes.
As I said, I don't know enough about the things to set a price; make me an offer, I figue you must be honest, you use Linux, right?