The question for me is, would I rather have a HUGE pile of cash and small mortgage debt (after all I have been paying it down a little each month for so many years), or a tiny pile of cash and no mortgage at all?
While this does not seem like a lot, if this tiny amount is compounded over long periods of time, it could turn to a pretty sizeable pileof extra inflation proof cash.