I’m just going through my service manual and can see that an HDi needs the timing belt replacing at 10 years or 100,000 miles. I’ve done just over 50,000 miles on a 2014 plate and the belt wasn’t replaced at the last service in November 2024. Would it need doing this year? Would the garage know to do it or is it something I need to tell them?