Good news is, I found the manual late Friday night
The blade nut size is 1 1/8", and the torque range was 115-125 IIRC.
Kmart has really destroyed Sears. I took one of the nuts there to find an impact socket, and they didn't have a single one over 1" in size. What a waste that place has become. "We have them available on the Website". Why, thank you. I'll re-schedule my Saturday for next weekend
Found one at Advance Auto for 1/3 the price. It worked fine.
Replacing that choke cable was a royal pain in the ass. If I ever have to do it again, I'm going to go buy a 99 cent 9/16 wrench and cut it in half. Or less.
Had to replace the battery again. I thought I had done that recently, but turns out it was 6 years ago