I followed the detailed treatise posted by another customer. I would add (read the earlier post first) that a small #1 Phillips screwdriver works best as a spring guide, and the end of the spring should be pointing down when you hook it on the driver.
After figuring this out, the repair was simple.