This is enough. Equity shouldn't be muddying the Tony waters by asking for a Chorus Tony. At most, although I don;t advocate it, there might be "Best Casting of a Play" and "Best Casting of a Musical" Tonys although much like the Sound categories, it's difficult to determine what is "Casting" versus "Acting" or "Direction."