How long would it take a pro to amortize a £10k lens? They are in it to make money not spend it. Serious hobbyists will drive the market for it, a pro will still be using the Nikon or Canon version and be with NPS or CPS. You won't be coming up with anything Zeiss haven't thought of themselves. It's the best optic tested so far at DxO with the autofocus 55mm f/1.8 in second place currently so it dispels the myth they can't make autofocus lenses, they just choose not to do it when they can't work closely with the OEM.
Or you know, Sony paying them not to which is almost certainly what it is. Sony don't have much of a selling point if they lose the AF Zeiss card.
Do you have any idea how much pros spend on medium format equipment? Any top level pro could justify £6k on an autofocus Otus imo (or at least before the Sigma 50 and even to an extent Nikon 58 they certainly would have been able to)