dkh
Level 15

Wouldn't have been taxable if they'd taken it out as a loan from the 401k