Ok guys, I bought the craftsman for a flat $800.
This thing is a Cadillac compared to my old rider!
I think I got a good deal, it's in near mint condition and the engine runs like a dream and idles perfectly.
The guy said he bought it new from sears for "well over 2 grand" 8 years ago.
I think with proper maintenance, I will be mowing with this thing for many years to come.
I will upload some pics a little later.