I want to know the answer to the following question:
Which theater is known for hosting a variety of musicals and plays?
All the background I'm provided with is that "The San Diego Repertory Theatre at the Lyceum Theatres in Horton Plaza produces a variety of plays and musicals.". Is that enough to answer the question?