Just got a new 2002 Seadoo GTI (2 cyl. Rotax) and would like to know what oil to use in the jet drive when I change it at the end of the season (book calls for synthetic but is not very specific). Also, since I am new to the jet ski world, how hard is it to do this service? Ya gotta take a lot of stuff off to remove the housing cover, but still looks like it would be a straightforward job. Any help is greatly appreciated.