I am going to change the spark plugs today. I am not sure which plugs to get though. I started a thread on this matter and member "Nautilus" says that on the plate in the engine bay are specified H8DC. My parts supplier says:

1. H 9DC - I think this one is Bosch Super
2. H9DC0- I think this one is the OEM

So now I am not sure which ones to buy.