tektronix 3052 serial numbers