This was not a loan it was a direct withdrawal.  I knew loans were not taxable and I would only have a form if they left employment.  This is a direct withdrawal from 401K and only paid 10% in taxes. They will be sorely disappointed.