"Gen 1" PT Motoren kriegen weiterhin Bosch Zündkerzen.
"Gen 2" PT Motoren hatten zuerst Bosch verbaut und dann wurde zu NGK gewechselt. Du hast wahrscheinlich vom Werk aus noch Bosch verbaut.
Aber 17.000km in 3 1/2 Jahren ist nicht sehr viel. Fährst du vermehrt Kurzstrecke ?
Nichtsdestotrotz würde ich bei den Motoren immer Super Plus empfehlen! Man merkt schon einen Unterschied und es "entlastet" den Motor und die Zündkerzen (LSPI Gefahr)