[hindsightbias]

Uh, they aren't using mainframes.

10:1, Linux fail.

[pc86]

They most certainly are. The primary systems running all the major US airlines are all mainframe at least in part.