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.
Current: 2013 Tesla Model S
Previous: 2013 BMW M5; 2012 A7; 2011 S5; 2011 X5M; 2010 750Li; 2009 M3; 2008 X5; 2003 M5; 1998 540i 6 spd.