Hi, I'm looking for the maintenance manual for the Tektronix 4014 and/or 4014-1 terminals. Bitsavers only has the user manual and I need to fix the terminal. Any pointers? Thanks. -- TTFN - Guy