Never seen anything like that.

But why not just post the part number they say they replaced???? Or look it up yourself on realoem.com

My concern always is having accurate records so you know what was really done- and not just hoping BMW will be able to figure it out in the future...