Here's the special tool for holding the pin still that I carefully fashioned from a piece of fine tool steel. Nope, it's nothing of the sort. It's hacked out of a piece of metal that itself was recently hacked off a fence post support with an angle grinder (on account of the post support being immediately adjacent to a wall). Better craftsmen would have the right size chunky screwdriver, probably returned after every use to its own place on a rack on the wall rather than left in a pile of tools on the garage floor for the duration of the project.
