For about the same price ($3k range) I found the following:
Toro MX 4260 42" 23hp w/bagging and striping kit. 32hrs (about 2 yrs old, "time cutter" series, still sold at HD)
Ferris IS500z 44" 24hp w/blower and bags, 900 hrs (probably about 8+ yrs old?)
I've got a half acre, flat, with...