Official BMW F10 M5 Break In Service Checklist
The 1,200 mile service on the F10 M5 is:
Change engine oil and filter
Change differential oil
Change transmission oil (6 spd manual only - no service to DCT)
The attached .pdf is straight from the BMW TIS. If anything else was/wasn't done then they didn't do it right.