I'm looking to purchase my first chipper. I found a 2013 Terek 720 Kubota diesel with 800 hrs for $17,000. Does anyone have experience with the 720? I've found lots of positive reviews of the 730 but nothing on the 720. Wondering what the difference is between the models?