You're using a different definition of the word "star" than some others in this thread. Brian Stokes Mitchell, Marin Mazzie, etc. are all in the category of theatre star. The question is whether "Hello, Dolly!" can/will survive with anything less than a big star, known to mainstream audiences. Two different nouns.
