I have a 2007 John Deere with the Yanmar 3TNV76 engine. The engine blew, I am guessing the oil pump went on it. There was plenty of oil in the engine. The tractor only has 276 hours on it. I have been quoted $12,000 by the local JD Dealer to replace the engine. I am thinking of having the engine...