Ok, we pulled the engine yesterday.
Wow, the clutch was roasted. What really surprised me is I couldn't smell any odor at all when we first saw the car. And I've never dealt with a clutch this trashed.
The flywheel was toast as well. Covered in heat/stress cracks. Replacing that, too.
The valve covers are dry, zero leaks. We have new ones on hand, but I'm thinking leave them alone. Let sleeping dogs lie, right?
Manual calls for NGK BKR5E-11, but the car has NGK PFR5B-11 ( Platinum ). Saw some online comments about not using platinum. Think we'll stick with what the manual calls for.
Looks like the oil pan gasket is the only leak. We'll replace that.
If things go well today, we could have it back in tonight.