Sensors made by Tektronix