I have 5000+ miles on the track as well and I'm somewhat concerned about the "lifetime transmission oil" for the DCT. I looked into getting it changed and it appeared to be quite expensive. Anyone done this yet? Sorry to answer a question with a question.
2015 f80 M3, 2010 GT3RS