Thanks for the tip. I had one of those brake shoe removal tools many years ago, probably not Craftsman, but no longer. I did get the spring on by removing the deck first, that allowed me to position the lever (screwdriver) better and install the spring.
Problem now is the deck belt tension is too loose to engage with the drive pulley (i thought the spring would fix that). I guess the logical thing is to try adjusting the tension pulley adjustment. I hope that works, the grass is getting tall....