80kts, the reason is simple: their DC plan is really just a 401k with no requirement for the pilot to contribute to get the company contribution. In other words, their DC is just a part of their 401k. It's all a single plan. We had the same thing at AirTran (before SWA raped us of our DC plan, but I digress).