Looking for your thoughts. I have a chance to purchase a 2013 Gator 825i for around 6000. Seller says it has no issues except the parking brake doesn’t work. He’s replaced the timing belt and alternator. Otherwise, all is original. 4000 miles and about 850 hours. Does this seem like a fair deal? Thanks!