Comment by fencepost

Paying off if possible, but I'd not put everything into paying it down. Pay a chunk of it down for comfort, and put some into emergency reserves with some reasonable level of return that could be accessed in the future in case of need. Early payments don't really matter that much if you have a period of unemployment/underemployment before it's fully paid off.