I wouldn't worry about it. Sounds like it was corrected early as a likely manufacturer defect and never resurfaced according to the service history. Good Luck.
__________________
Some of my previous cars Include current: 2015 M5 CP, 2016 GLE43, and sold: 2018 Audi SQ5, 2015 Audi Q7, 2013 AMG ML63, 2010 AMG E63, 2006 BMW 750Li, 2003 Mercedes S550, 2001 Lexus GS430
|