They're WR8DC+, which NGK says cross references with BP5ES (no R), vs WR8DC=BPR5ES, so I assume the + signifies "added lack of resistance" 🤣
I'd say the plugs I have are the right ones now, since I have the (correct dizzy terminal now) Eagle leads on order. Depends on the actual impedance of...