i finally tracked down another gearbox. while the casting looks the same, apart from the new one has a 10 on the top in the casting, the old one has 18.
both have A3041LE on the plate, the old one has 93G, the new one 92E.
the problem is that the plugs are different. they are both 9 pin, and...