I’m looking at purchasing a Gravely for $500 but needs some work. Does anyone know what part this is, what it should cost to repair, and if this would be an ok deal for me. I received the pictures from the owner but he doesn’t know Much about it either. Just that the gear is for the pulleys.