Clutch issue

[Phil595]

So. My 2015 T5.1 california beach has the floppy clutch problem. It's booked in for Concentric slave cylinder, clutch and DMF replacement.
The van has done 130k so is there anything else that should be done at the same time? I have read the crankshaft and transmission seals can go but what about the gearbox itself? Are they servicable/rebuildable. If so, at what cost. Any advise greatly appreciated and also where best to take it in Surrey area.