Coming back to this, following internet suggestions regarding similar Getrag boxes used on BMWs, I replaced the gearbox oil with Redline MTL 75W-80.
The change is phenomenal.
Gears engage easily from cold and fast changes are now possible without crunching noises.
Overall I'm very sattisfied.