Changing the leaky driveshaft seal this weekend and going to change the oil in the gearbox to, what oil would is recommend for the m32 box? Was looking at Fuchs Sinto fluid 75w80 GL5 or either Comma 75w80 mvmtf plus GL4. And also how much should I refill the box with?

Thanks