BTW, the last/most difficult bolt for me was the upper transaxle brace bolt. I was finally able to break it free by taking a long screw driver and prying all the wires aside & used a 1/2" ratchet-3/8" adapter-3/8" 13mm socket.
I might have made a deal w/ the devil along the way. But I didn't take it out, just loosened it...