I have a 2000 Seadoo GTX. I believe it's the DI model, not 100% sure. It has the blue hull with silver seats. The SeaDoo shop just replaced the fuel filter and cleaned the carbs but didn't chang the spark plugs. The spark plugs that are in there now are NGK BR8ES but I see where they should be the ZFR4F-11. Which one's belong and does it matter?