A lot depends on the actual box different variants were used in the same production run, a local gear box specialist may be able to identify so you know what you are actually looking for, Italian parts suppliers are probably the easiest source nowadays by that I mean based in Italy a google should help
Channa