There is a school of thought that believes that you should not touch your retirement account at all. Following this prescription, the OP would pay off the loan from the 401(k) account and never borrow from the 401(k) account again.
Please don't shoot the messenger
