If your last Craftsman lasted 10 years. The you should probably get another, if they have one you like.
How much grass are you talking about (acres)? Your only cutting for about 4-5 months out of the year that far north, correct?
You, no doubt, have a Sears store nearby?