I heard if the torque pump is bad, it is quite a job to change, but pump isn't too expensive. I haven't had much chance to look this one over. I was also told that the PTO runs off the same pump, and my PTO is turning. Any one ever change a pump? Does it require a split, or is there a cover...