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!

as for me I will definitely choose an auto service. Cause I want everything to be done by professionals. By the way these guys https://at-manuals.com/ did repair my little baby car previous time and I was so happy with their work! So I can advice them for my friends!