Update on JD E 150 fire. Decided to take the E150 to a local repair guy who has treated me well over the years. Its all fixed - total cost was about $900 but considering a new one is just over 3K, I thought it was worth it considering it has just under 50 hours on it. It needed the main and...