I would cut my 401k contribution down to the company match and use the extra to save towards a house before I would ever take money out of a retirement account. Really, I would consider a $30k gain in my IRA a great move for my retirement and nothing else and continue business as usual.