A replacement auto box is about £8,000 plus vat. I would expect the manual to be a little less.
I would think not too difficult a conversion as the gearbox tunnel on auto cars is wider. Going manual to auto not practical due to the narrow gearbox tunnel on manual cars.
Would keep the auto box in storage so it could always be converted back 😀