Don’t worry about it as he may well not ever pay it off anyway. Think of it as an extra tax not a loan.
Yes interest rate is ridiculous. My son has approx £45k loan (as do many/most students after 3/4 years). He’s now working and started paying it back but it is a fairly small amount each month.
The absolutely last thing I would do is take out a mortgage to pay it off!!