Went to Advanced Auto to get new plugs. I asked for the NGK BKR6EYA which is what the manual says. The manual also suggests the Denzo K20R-U which is what's in the truck now. Autozone and Advanced Auto carried the NGKR6EY plugs. So would those be OK to use or does the extra "A" designation mean something that I better pay attention to?