Motivation: a $322.00 repairman estimate! Question: do I pay the repair guy, buy a new washer, or attempt something that I've never done before. Decision: Do it myself!
Tools used: a screw driver, needle nosed pliers, and a star tipped screw driver (if that's what it's called. I just happened to have one.)
The repair itself was easy. Finding a "how to" video showing the repair for my particular washer/timer was futile. However, the video here gave me a general idea of what to do. I just improvised from there.
I'd like to thank AppliancePartsPros for their help and parts availability.