As opposed to just taking money out of the 401k, consider taking a loan FROM it. You don't get hit with the taxes and interest penalties, AND, you pay it back, with interest, to yourself. I know a couple of people who have done this, and, while you lose the growth on the money you loan yourself, assuming there is growth, at least you get the benefit of buying the house, plus, you are young and have quite some time until retirement.
FF