I'd try to confirm that by getting someone at a dealership to pull the service records on that car (all you need is the VIN), but if that turns out to be true I'm not sure what to say. I'd personally be wary, but I can't back that up with actual facts beyond BMW saying it should be done at 1200 miles. Maybe if it was babied that whole time it'd be ok, but there's no way to know that.
Likely selling end of 2015:
11 M3 E92 Le Mans | Black Nov w/ Alum | 6MT | Premium 2 | Convenience | 19" | EDC | Prem Audio | Moonroof | BMW Apps | Yoko AD08 R | Vorshlag Adjustable Camber Plates | StopTech ST-60 380mm BBK | Castrol SRF Fluid | ModMyNav.com rear camera | ECS Tuning Sunglasses Holder