If pre-2012 loans, then its simple, dont pay anything extra regardless.
If post 2012, then if you earn around 50k or so+, and have cash to spare, its worth doing the calculations and then making extra payments.
The caveat to this is, once you decide to pay it off, you need to do it...