Just bought a house with a big jump in lawn size. New home has 10.5 acres of St. Augustine grass but all flat and a few trees, so I am considering a ZTR. Time is an issue for me. Trying to judge how much tractor I need to get this done in a reasonable amount of time (3 hours too optimistic?). Have a good Toro/Exmark dealer in town and a decent John Deere/Gravely dealer w/in 30 minutes of home. Would consider prices up to near $10,000...any ideas on equipment? Thanks.