Oh no... sorry to read about this
If you have space and love the car maybe to buy a second used gearbox and swap? Can be cheaper than fixing existing one, leaving it for some time in the future to fix. When the second gearbox fails swap again for the fixed one.