I had to do this repair yesterday as my cable went bad on Saturday. The write-up is great and very helpful so thank you for posting it.
The top-left screw is difficult to get to and I found that the easiest way to do it was with a 1/4" drive universal, an extender going out to the ratchet and a deep socket with the small Torx T20 adapter in the other end. The screw is surprisingly far behind the blower bracket that is directly in your way of everything that you try to do.
Harbor Freight also sells a cheap cable cutter that worked perfectly in cutting and stripping the cable:
https://www.harborfreight.com/10-in-...ers-61422.html
This was one of those jobs that took me about 2 hours the first time and could be done in significantly less time if I had to do it again.