I just made it home from the dealer. I saw the service techs screen. Sure looks like the BMW 5W30 oil is the only oil now listed under the 1,200 miles service.
The tech mentioned when he logged in this morning he kind of remembers seeing a notice that might have dealt with the issue, but he was not sure.
So that is all I have.