My wifes car seems to be idleing a little rough it just turned 13000 mi.. I pulled out the plugs to find NGK Platinum PGR5C-11 instead of PGR5A-11.They looked fine though I just wondered if these were cold plugs. The dealer and 1/2 dozen parts stores couldnt tell me anything (as usual) they went on to tell me the NGK which I use exclusivly were between $10-13$.The Champion which they carry were a lot less.I can order the NGK for triple the price of Bosch AC or Champion.Or do I do the unheard of and take it to the dealer.