hey guys, I went to the dealer to get some supplies: fuel filters, plugs, etc. And the filter they gave me was NGK BPR6EKN. Did they give me the right plug? I think I've read in here that the correct plug for me was NGK BPR7ES or something. Just to double check went back and he said that those were the ones ment for my car. True or false?