First of all, EVERYONE that works at discount auto is a moron.... i went in today and asked the guy 5 times what the part numbers were for NGK gsr spark plugs... he kept saying a four digit number like 3045 or something... I kept telling him he's a moron and that's the STORE part number and there is an actual part number on the box, and he got rude with me pretty much calling me a moron saying that's the only part number... when he got the box off of the shelf, he pointed to the 4 digit number (right below the actual part number) and said see... and i was like look moron, the part number i was talking about is right above your fucking finger... well, he shut up. and when i asked if he had a step colder he said what's that mean?
long story short, that guy fucked your shit up because stock del sol vtec and gsr plugs are NGK bkr6e-11 and the platinums are pfk6e-11 or something like that... the bkr7e-11 is one step colder, and 5 is one step hotter... i'm not making it up, it's the truth. deal with it.
discount auto does not carry and cannot order bkr7e-11 or the platinum equal plugs.

 

and NGK IS different than other plugs... up is colder.
Denso = down is colder.

 

Actually the stock plug for the del Sol VTEC is PFR6L-13. It's a platinum plug.