I recently took my 500E for its annual oil change and check-over by my favorite shop. Now that I'm only averaging about 500 miles per year, the current cost of Red Line, and because my usual source of Red Line (Amazon) only had it in 55 gallon drums (at $2,600), I asked the shop to use the closest they had to Red Line. Preferably, 10w40 and full synthetic. So, while I was there, they called around and got Red Line at $65 / gallon. They didn't mark it up, which was nice. Their view was that, overall, it's a small extra expense, and they know this is my "special car", so I should keep giving it the good stuff. Still, for next year, I think I'll do more research on this thread before oil change time and have my oil ready.