Hello, I have a 2016 F12 with just over 19k miles on it, and it was making a groaning noise/vibration when downshifting to first and allowing engine braking to slow the car. I took it in for service and they replaced the gearbox oil and that seems to have fixed the problem. It shifts perfectly, but then again always has. No leaks, but they noted the oil was black and smelled burnt. I’ve put 8k of the 19k miles on it, it’s never been tracked and have never had a gearbox overheating light or other error messages. Wondering if anyone else has had a similar issue or had “bad” fluid, and if my DCT is a ticking time bomb? Warranty expires at the end of the month. Thanks!