My folks just got 2 acres of land and immediately purchased a 42" Craftsman riding mower w/23hp. The land is spotted with lots of mesquite trees and obstacles. After getting on this forum and reading some of the residential vs. commercial threads, I'm wondering if he's made the wrong choice? I'm worried it might take forever with a 42" deck riding. What could possibly be a better choice for him that could speed up the process, as well as be more reliable and comfortable for an old guy in the Texas heat? (around the same price point (<3k). I'm thinking he might be able to cancel the order, as it isn't arriving for a few weeks.. and he could use to have something immediately. He's also looking for a good trimmer that can take down small saplings and brush. Any recommendations before he buys?