I was on the flight. We were told the starboard air compressor was out. This was after reaching cruising altitude and clearing the storms. The lightning strikes happened on the return back through the storms to DFW. (I rescheduled for tomorrow, since I was probably going to miss any reasonable connection in HKG)
According to FlightAware, 125 was diverted to Tulsa on 27 Oct. That's twice in a week?