I'd not touch the 401K. Get mad at it (the debt), tighten your belt and make double or triple payments (to the principal) every chance you get. No idea what your spending habits are, but would bet you could cut out some discretionary spending & put the extra on the house. Just takes discipline