I just picked mine up from getting a new gearbox , Clutch & Clutch Master Cylinder yesterday and the total including labour came to just over £2,800
I had been discussing with RUK and they paid 60% ..... but still a hefty bill for something which is a fundamental design fault.
A gearbox is for life ... not just for christmas.