Originally Posted by ipsedixit
Have you tried calling your local BMW Service Center?
Not yet; it was Sunday when I posted my question.
I have frequently found this site to be a valuable source of information, as evidenced by my query being answered on the 3 and 5 series forums.
So, phone call to dealer not required, but thanks for your advice.