hi! I do not know for sure but I hope these guys will help you https://at-manuals.com/
?. They did repair my own gearbox few months ago. My dad told me about them because he was tired to see my broken gearbox inside of the car in garage) so they did help me a lot and I can recommend them!