The last discussion I could find suggested VP was shipping Champion plugs as PN 21467472 and that there were better options. Some options to the Champions were ACDelco 41-993 and NGK TR55iX. Anyone out there know if these options are viable for my 2007 5.0 GXI-G; Product 3883770; SN 4012214511? Would both of these brands spec a .060 gap?