The repair manual calls for Bosch H 6 DCO plugs. Our #2 came to us with H 7 DCO plugs. Which should I look for?