There was no miss before the head gasket change. The car has 56K on it and the dealer that did the gasket change has an excellent reputation and was told to replace anything that needed it. All that was found was a bad flex disk and a cracked serpentine belt.
Everything else was fine.
The plugs and wires are new. The miss only occurs at dead idle otherwise the engine runs as good as new.
The lube question came about because Fastlane and others sell something called Distributor Cam Lube.
I suppose I could take a look at the distributor cap and rotor but since the dealer didn't find any problem with it I'm not sure it's worth the trouble.
The only other thing possibility might be damage to a plug wire.