In 3 years he might have also paid about ~30K of principal assuming ~7% interest rate. (OTOH He might have gone IO route and paid nothing or he might have had a lower interest rate and paid more down towards principal)