Had a overheating issue, employee did not catch it. Dealer says #4 cylinder is bad. What are my best options to fix? Dealer is saying $11,000 for a new motor ouch!!. Motor has 2400 hours on it and rest of machine is in good condition. I cannot do the work myself. There has to be a better option...