This preferred plug seems to be discontinued according to several sources I've checked.

Does anyone know if a seller with a stash or, if not, what my next best choice would be?

the Champion RS12YC appear available. Anyone running these or with an opinion on them?

 

Hi Jig Jag

Plenty of those on Amazon (NGK BP6EF) although it does say they are not the Plug for my 5.3 XJS.

I am running NGK BR7EF and am very happy with them.

 

Side question, are the TR5's good for an 88'? I'm going to put new plugs in but whomever had the car before me put those in

 

If BP6EF is NLA, as it is down here, use BPR6EF.

That is what I use now.