no, you may be right (it was a few years ago). It may have been 3.5 or 4 years. I did receive small raises over the years, but we kept our budget fixed. I did receive a big windfall near the end from a company acquisition ($40k iirc). But at the rate were were paying stuff off, it brought it in ~6 months.
So it was really around 100k over four years with the last 40k covered by your acquisition earnings. So 25k a year on a 100k salary (pre/post-tax?). Which is a lot less than 80k a year. Still impressive, and kudos, but let's not pretend that it's anywhere the same. That's a difference of two whole median incomes per year.
Jeez, I made $99k last year and saved more than $25k and I AM an idiot with my money (I consider my lifestyle to be lavish). So I suspect it's more the "making a lot of money" part instead of the "not being an idiot with my money" part. Absolutely nobody is going to "not be an idiot" themselves to a six figure loan payoff in a few years on a 30k/year salary.
The math still shocks me every time I do it.