Lower, according to the report

"Two samples from the air induction elbow were subjected to testing, using a heat-flux differential scanning calorimeter, to determine their glass transition temperature. The measured glass transition temperature for the first sample was 52.8°C, and 54.0°C for the second sample"

Yeah, they might have used ABS-CF filament, but unless they got it from a good brand that uses good resin and proper printing parameters, the actual Tg will be lower, plus the stress from the vibration/load could have made the part fail if it was not for the heat later in flight.