I didn't check mine before I dropped off the car after ED, but I wouldn't be surprised if it wasn't there like you have reported on yours. I will confirm and bring to the attention of my dealer if it is not on my M5 when I get it back stateside. You can always try contacting BMW North America customer relations, so they can begin to document it for you also. Good luck, bro!
