Source: https://money.stackexchange.com/questions/72374/buying-a-house-should-we-repay-a-loan-and-also-borrow-from-the-401k/72394