Thanks for the replies. I'm going to keep the R45S plugs for now.
You won't believe what else happened: After I got the motor running well, took the car for a 15-mile or so checkout ride. Uneventful drive including some 70MPH Interstate driving. Get back, go to turn in the driveway and the wheel turns but the car doesn't! The bracket that holds the steering arm to the frame broke. Apparently this is pretty common on these cars, and usually associated with someone jacking up the car on the sterring bracket. From the broken part it looks like the bracket had cracked most of the way through years ago.
I've got the parts, but in reading the service manual I've concluded that the job is a bit much for me. You have to have tools to press out ball joints, etc. Anyway, the lower control arm on the driver side is bent too, and I got another one of those as well, so the car is going to a front end shop.
