So, after all of that work, did it actually fix the problem?

Yes! Yes it did!

Honestly I'm kind of shocked. Happy, but shocked. For such a simple fix to cause such a complex charger to totally fail is kind of impressive. But I'm not going to look a gift horse in the mouth.

Once I hooked the charger back up to the car, I gave it a test. I connected it to my watt meter to see if it was pulling any current, and it was! About 500W. As you can see in the video below, it is working perfectly. The LED lights, from right to left are:

1. Solid = AC Power Good
2. Solid = Bulk charge complete, battery at 80%
3. Current output. Moves from level 3 to level 2, indicating less current going to battery.

I've had the charger in operation for a few weeks now, and so far so good. No further problems. Of course, now that winter has set in, I won't have much opportunity to use the car until spring.