I would not use 401K money. Trying to figure out now how to purchase another domicile while still in this one as contingent sales aren't going over well in the areas we are considering. Too many cash buyers. Thinking about just buying a condo/townhouse there with large cash down and small mortgage but don't like the thought of keeping up with two houses if this one doesn't sell quickly.