I just added a quart of 4 stroke Seadoo BRP synthetic oil in my 2001 seadoo RXDI and only after realized that it was 4 stroke oil. What should I do. I faintly remember last year at the lake a seadoo dealer sold me 4 stroke oil and assured me it was what I needed for my seadoo but really do not want to make a mistake a major problem. Will i be okay or do I need to figure something else out. Thanks