Just a heads up on those fiber washers. They may or may not be the thickness of the originals.

The first seal replacement I did I didn't clean the shaft enough before disassembly. The thin fiber washer broke as I was removing it. The replacements I found locally were much thicker than the original.

When I posted here about the problem I was lucky enough to have a kind Brickboarder mail me a replacement of the correct thickness. After that I was careful to clean the shaft and remove the washers without breaking them.
--
Any twenty minute job is just a broken bolt away from a three day ordeal

That pin is well known to occasionally be difficult to drive out. I tried driving it out one way with a suitably sized pin punch and it didn't want to move. I went oops, looks like mine is going to be one of those difficult or impossible ones. Researching how to deal with it, I read it's a slightly tapered fit and sure enough mine was. It's almost impossible to tell by looking. I then tried driving it the out the other way and it was much more cooperative and soon was out. I drove it out vertically supported under the shaft with the jaws of my vise slightly open to accept the pin. As I vaguely recall, I decided that when the pin was driven in at the factory, whatever tool or press they used slightly mushroomed the end of the pin. Either that or the head of the pin was slightly mushroomed on purpose.

One additional thought for the OP, the distributor screws are in slots that allow a few degrees of rotation. The ignition system is normally able to compensate the timing to the alignment, so I'm not too sure how important the adjustment is, but I figure it's a good idea to preserve factory adjustment by scribing a mark across the edge before loosening the distributor. I didn't know to do this so simply set it in the middle of the slot.
--
Dave -still with 940's, prev 740/240/140/120 You'd think I'd have learned by now