The NGK part number for Iridium TR5 plugs, NGK 7243 TR5-1 IX
I have not used a Champion for years, maybe since they moved production to Mexico. It was at one time, the only plug I would consider using.
Must be a reason that most of the car and truck mfg are using Iridium and Platinum tipped plugs in the new 100,000 mile tune up interval vehicles.