What does the service invoice say they did to resolve the CEL?

LCM and odometer manipulation dot - The Unofficial BMW M5 Messageboard (m5board.com)

It sounds like they replaced one of the modules where the mileage is stored and did not program it with the correct mileage...


P.S. A Google of "BMW odometer dot" will get you a lot more information... Google is your friend.