Well I got a second hand box on ebay and it seems OK. Not much play in the main shaft, unlike the original, no grinding sound when you turn the shaft as there is with the original.
The old box is out, dismantled, and the new box has been assembled with the gear lever unit and transfer box...