Thanks for the websites :)
The garage got back to me with the following prices: gearbox £685, clutch kit £125, gearbox mount £31, oils £25, labour £253 (5.5 hours).
However, I am looking at just getting my own parts and paying for labour.
I can get a used gearbox (41,000 miles), clutch...