Originally Posted by efm9821
I had my F10 M5's 1200 mile service performed in BMW Niederlassung Munich while on ED, reportedly one of the best and most knowledgable service shops in Germany. They changed the oil, no gear box, no differential service. Some postings you'll find in this forum states they had gear box/diff services as well ...
You need to get the diff oil changed ASAP