I am going through the same problem. Did you ever resolve the issue with the leak and replace the gearbox? If so, I would appreciate if you may, help me with some information or minor details given the relative issue. Assuming what may have resulted in a form of resolution. Currently ISO gearbox and other auto materials that perhaps restore vehicle to it's normal conditions.