The parts to fix the oil pump drive are not expensive, about 100 dollars. I wouldn`t just repair the oil gear, I would freshen up the whole motor. I don`t know if the motor has been run lacking oil already. Powerhead has to be removed anyway.
“The world will not be destroyed by those who do evil, but by those who watch them without doing anything” GOD IS GOOD