I would have to think a junkyard gearbox would be less expensive than having repair work done on a broken one.