My heart says pay it off, but that might not be the best option. A few months ago, I sent 40k to my mortgage because my 5 year adjustable is going to reset to a higher rate next year - and I wanted to lower my balance.
But, this book I just read (by a financial planner), says "Do not pay off...