Thanks ses. Yes, I would run a higher grade fuel regardless.

I'm hoping that an RS owner will pop up and let us know for sure. There's probably a note in the owners guide to indicate which fuel should be used.