My cousin is looking for a new-used lawn cutting machine and these are what he found. All he wants a tractor for is to cut grass. Does anyone have and opinion on these two mowers? The seller is asking $350.00 for the 172 and $1000.00 for the 235. Thanks.