Just had this service today, they changed the diff and engine Oils.
They now use the 0-30 Engine Oil for the M5 Engines here in the Uk, a few months ago they were using 5-30 which is not recommended by BMW, anyway I don;t know what Oil was in it but the engine feels quieter and smoother and warmed up in just 4 miles.