I replaced the gearbox oil in my M roadster with castrol 75w 90 multi trans, the one you used. It made a massive difference with smoother gear changes from cold. I would say the oil is fine in your box so prob a problem somewhere else. Maybe have your clutch pipe bled again etc.
The multi trans oil is GL-4 grade. Its spot on for your box.
The multi trans oil is GL-4 grade. Its spot on for your box.