If you can do the gearbox swap yourself I'd go for that. MoT and get around a £1000. on a good day.
If you have to pay for someone else to do it, I'd sell it as spares or repairs, should get £500 +.
Could always ask Rovermgparts or GeA Services on here, what they would give you. Depends where you live.
Best of luck. looks too good a colour and spec, to break.