Just checking to see if anyone has priced one of these recently. My dealer quoted just under $6800 with tax freight and setup...basically out the door. Seems a little high, so I was wondering what others have been quoted. The mower lists for $6399 and was hoping to be in the 5's out the door. Thanks.