My gearbox leaks oil at the output shaft oil seal. Agents in Portugal are scarce and I would rather try to do the job myself. I have an exploded diagram and see that to replace the seal the box has to be dismantled so I need a workshop manual, details of tollerances so I can check for wear. Any advice would be helpful. I know where to get parts (UK).