Should I pull cash out of my 401k and paydown mtg or refi?