Tektronix DPO71254B Repair

There is a DPO71254B at my workplace that has been abandoned for quite a while. I repaired it so that we can use it to debug (no cal though)