From Wikipedia
The Lion King mainstay departs after more than 9,000 performances as the role’s longest-running actor.