Richard, the best thing to do is get the exact same model gear box as it can be a real pain if you were to get another box and try to fit it only to find out that it does not fit.
I would do a ring around the local scrap yards and see if they have the same model and year as yours.
Ja.