Running a robot here at work, I brought my 2008 Toyota Tundra manual in today to read in between part changes. Ordered NGK laser iridium off Rock Auto on Monday and they just came in the mail yesterday. Reading the manual --- for the 4.0L and 4.7L engines it lists NGK and Denso plugs. For the 5.7L engine "which I have " it only lists Denso plugs. What to do?