50% of our pilots max out their 401k (Company and personal contributions.)

The excess 415c is taxed as ordinary income. It would be a nice feature if this were somehow tax-sheltered.

As long as the DC remains untouched or is bumped up to 20%, I'm fine with thinking outside the box.