Source: https://money.stackexchange.com/questions/10718/i-have-a-401k-loan-used-for-a-house-down-payment-and-now-i-am-changing-jobs-wha