He mentioned that he was earning close to 100k for half of the 7 years, therefore, 3.5years. Then taking indexation into account, CPI had been roughly between 2.6 and 3.1 in the last 7 years.
Subtracting indexation, he would have only paid off $17,500 in the last 3.5 years.