They should have gotten a year off with repayment starting in 2010 (so year 15 is 2024 and hopefully this goes away next year!)
https://www.irs.gov/taxtopics/tc611
"Your 15-year repayment period started with 2010, the second taxable year from 2008."
Rick
