I can tell you for absolute certianty, AirTran pilots do not get a 401K match.

We do have a B-fund, as you mentioned 10.5%, which goes directly into our 401K account.

We had a 401K match 6 years ago, before our current contract.