Hey guys is $6100 too much for a used Exmark HP 52" with a striping kit and a mulching kit and only 98 hours? The dealer says the previous owner traded it in on a 60". What do you think? They are bringing it to me Tuesday to demo. Thanks.