End of year update. After I just put a good chunk to my after-tax annual bonus towards my loan, it is now down to $55,000 (from $240k originally in 2014). As noted above, I just recently refinanced it again and got the rate down to 2.3%, so it was hard to justify putting my entire bonus towards it, as I have done for the previous few years. Instead, I paid off all of my other debts except for my house.
After another year of payments, I’ll pay this off with a small chunk of my 2020 annual bonus. One more year to go until I get this shackle off.