Would it be better to pick-up a second hand/recond box and fit that? Keep the old one, repair "at leisure" and keep for future use/sale?
Other option is could you remove the gearbox at home and "send" off and save some serious labour hours.
Good option
