Thank you for your reply, I appreciate it. He paid the loan to his 401k in full before he left his job and he has paperwork to show the loan was paid in full. So it should not come in as taxable to him.
