2010 S max 2.0 turbo - 5 k for a new gearbox?

[ssray]

My brother has had his(private sale) 2010 smax for 4 months, he noticed a hesitation on acceleration sometimes, today it had a minor service, he explained the problem to the service manager who after looking at the car told him that would by 5k for a new box.
Is this normal ? can it be rebuilt by anybody in the uk?
Ta
Ray

[ssray]

It was serviced at 37k as per fords scheduled.
I will get him to check for updates.
looks like not many peeps mess with these, youtube video from italy with a full flush on a machine

[ssray]

twin clutch ford auto box, (zx7r over here)

[ssray]

the 37kbit is a specific gearbox service