There is a Yanmar 187D for sale locally (Western PA). It has a loader and a backhoe. Around 600 hours. The houseing on the transmission is cracked below the driver's seat. So it needs repaired. The guy wants $6500 as is. All works fine except for the repair needed on the transmission case. Is this worth the price?