tektronix serial number