Does anybody have any experience with the 752 or any John deere tedders for that matter? I believe that they are made by Kuhn. I have an opportunity to buy one for $1600 and I am not sure if that is a good price for this unit or not, it seems to be compared to what I can find on tractorhouse and machinefinder. It is a 17ft manual fold. Thanks for the advice!!