It seems to be fairly common. I don't think the type of gas you use will make any difference either way. There are a few threads about it:
http://www.bimmerfest.com/forums/showthread.php?t=535334
http://www.bimmerfest.com/forums/showthread.php?t=535334