I put yes he has. I have no opinion on whether he needs any more. If he does he can work that out for himself.
I know I am a better therapist for having had my own therapy. I am learning all the time of course, but having been through the therapeutic process (both good therapy and poor therapy) has given me an understanding of what it is to be vulnerable in this kind of a relationship. I hope that means I would have a greater awareness of the impact of my words and actions, and I would have a better than average chance of avoiding harm to my clients (though I would never be complacent about this).
My therapist has said he learnt a lot from his therapist and I have learnt a lot from him, which I think is a positive thing.
The other side of the coin is that my first therapist had also received therapy yet he was an incompetent fool with zero self-awareness. So it is probably as much about the therapist themselves and their ability to engage with the therapy and look at their own stuff non-defensively, than just the fact of having therapy.