Done the 10k service with Redline oil change a week ago..
The engine runs a lot smoother and I'm now getting 850k from a full tank 98 fuel..
Definitely worth the extra penny...