I've been getting up the nerve to try changing the oil on my wife's 740i and am really annoyed at BMW specifying 15-40w oil. Where did you get that stuff? The only thing I found out here at the local pep boys was some brand called Proline. Never heard of it. Is it any good? What brand are you using?