Time to change plugs. I did a search in this forum and the consensus seems to be to stick with the Bosch Super Plug. My manual calls for "F9 DCO". I tried to find those, but everybody so far refers me to either the "2" or the "+4" plugs. Even the Bosch USA web site does not list the Super. Do I go to the 2 electrode Bosch plugs or the single electrode variety made by a different manufacturer (Champion, NGK, etc.)?
Any leads out there for the Bosch Super plugs and if not , which of the alternatives are recommended??

Thanks for your responses!!

Wolfgang