I am looking to buy one of these from a guy who has used this residentially. He has one 32" and one 48". I was thinking of the 32" so I could get into smaller fenced yards. He says he taken good care of them and they are only a couple of years old. It's belt driven. Does anyone have any experience with these? Does $1200 sound like a fair price (assuming it's in good shape when I see it)?