Turns out it was not a G40 box but just a standard 1.3 Polo... apparently. Many teeth stripped and bearings knackered! The guy said not worthwhile. But then how would you repair a gearbox if not by stripping it down and replacing broken gears and bearings??? But also... if as it turns out it is nothing special, he is probably right.