I'd be very surprised if he hasn't got a formal diagnosis. You can get one privately for a tiny tiny tiny fraction of his wealth and a half a day of time.
I'm sure he can get one with just the wealth and almost no time. There are a lot of docs out there who will just take the cash I'm sure. Just look at the docs who tried to milk Matthew Perry for whatever they could
I'd be very surprised if he hasn't got a formal diagnosis. You can get one privately for a tiny tiny tiny fraction of his wealth and a half a day of time.