the dealer has just contacted me and offered to replace it at no charge at my next service, or they are happy for me to get this carried out by my local chap (add in a cable) and it will not cause any future warranty issues.
Great service from the dealer there, well done to them! Who are they?