While looking through the owner's manual I noticed that the required spark plug part numbers are no longer in production, unless the revision letters have changed. The required plugs from NGK per the manual were IFR6A11. What I see on the NGK website now is IFR6T-11. Are these good to go?