<prompt> Human: We are planning to buy a house very soon. Our down payment will be above 20. The question is, should I pull out approximately 30 of my 401k, to add it to the down payment and help lower the monthly mortgage payments, or leave the 401k alone and take the higher monhly payments on the house? Im not planning to retire for another 25 years at least.Also if the anser is yes on the 401k, should I take a 401k loan, or just withdraw the money Im aware of the penalties on the withdrawal.Thank you!  <response>: NO! Leave it in there. 