Good or Bad price?

I trying to find out about the price of a walker. 2 dealers here want 8K for a 48" 20 hp with lg hopper. They said they sell it for 9.100 most of the time. I would really rather the same unit with a 25 EFI in it. Any one know what a good price is for this machine. I know the dealer needs to make a profit to stay in business. I just hate to pay to much. Just like everybody else.