Wayne,
Are you looking for something just for mowing? The aforementioned tractors (to me) sound more like sub-compact utility tractors which may be a bit overkill for just mowing.
For a lawn/garden tractor, my first choice would be something not made/owned by MTD. That narrows it down to just a couple mfgr's (JD, Simplicity, Husqvarna? and maybe a couple others).
All that said, I have a clean Roper (same as a Craftsman) that has had light use but I don't need it. I mowed about 200' with it one time and then cleaned it up and put it in storage. If you ever come down this way (W. PA), you're welcome to kick the tires on it and give it a test ride.
EDIT TO ADD:
I only watched the first minute or so if the video, but here's the one I have (but mine is in MUCH better shape)
[ame="http://www.youtube.com/watch?v=VuAdVENyFtQ"]YouTube - Roper GTK-18 horizontal shaft Kohler powered garden tractor[/ame]