Thanks all! I went with the Spectra - $280, and taxes pushed it to about $320. I would have preferred the Denso, but also want to get the repair done ASAP. Also considered taking the old one to a local rad shop, but that would have involved carrying it in a bike trailer across town, plus extended downtime. Basically, I had yesterday to get it done.
Also considered the possibility of the leak getting a lot worse quickly, and stranding my wife somewhere while waiting for the Denso to come in.
Anyway, the difference in cost between RA and local (c. $120) started to look insignificant compared to the potential downsides.
The job went well.
Roomy engine bay with the rad and fan housing out:
View attachment 215835
These connectors, for the fan motors, are sometimes challenging, but they came apart OK:
View attachment 215836
Old and new:
View attachment 215837
Pulled one plug while in there. This is an NGK Iridium. Gap spec is 0.050". My wire gauge only goes up to 0.045", so I can't be sure what the gap is now.
It appeared to be a bit wide, but not excessively so (55 thou?). Should there be an iridium pad on the ground electrode? If so, it has either worn away or broken off. Only c. 50K km (30K miles) on the plugs.
Engine runs well, with no misfire codes.
Change out the plugs? If so, platinum, iridium, or ruthenium?
View attachment 215838