Agree with others, repay the 401(k). A refi should really be no different than doing a refi on conventional loan to conventional loan, except you are paying yourself back, putting that money back in your 401(k) and not having to worry about "what ifs".
You brought up the possibility of buying a new trailer, if that's something you would consider, rather than trading it in (and you'd probably not get what you need to out of it), consider selling the trailer privately, paying off the 401(k), and then buying whatever you want, with a conventional loan...not another 401(k) loan.