Very common problem, I have just had my third one as it was leaking yet again. Luckily it is the only known major issue with the 7 and 7.5. Don't use a dealer unless it is warranty when yours needs doing as they are next to useless and expensive. Find a good independent garage, luckily the local one to me knows his stuff.