Just checking in to see that the NGK TR6 part number is 4177? I'm doing the spark plugs for the first time since I've owned the truck and it has NGK BR7EF and they seem to be a lot shorter than the TR6. Just want to make sure that I'm replacing them with the right plugs.