repairing a DEC VT420