Sounds like good, knowledgeable advice. We paid off all our debts before retirement, including houses. We try to sell at a loss so we don't pay so much in capital gains when we need funds additional to our social security and pensions. And of course it goes without saying, be sure to diversify.