Did it damage the engine, or was it a case of empty, flush, refill, refill again, keep fingers crossed? Interestingly, several cars that I’ve owned specified 10W30 oil in the gearbox instead of GL4 or ATF.