Went to replace drive belt and the one I bought is way small. The belt I bought is 42" OC and one I took off is 48" OC. Looking at the drive pulley on transmission it does not look original, no paint. It's 10" in diameter, I'm thinking someone changed it to slow tractor down, it doesn't go very fast even in third gear. If someone could provide diameter of correct size it would be appreciated. If I'm going in the wrong direction, feel free to turn me in the right one.