Shortly before the crash, the sensor was repaired at XTRA Aerospace Inc., an aircraft maintenance facility in Florida.
