Tektronix 4010 service manual (was: duh.... Tektronix 4010 has no microprocessor!)