I want to know the answer to the following question:
What is the Michigan Stadium called colloquially?
All the background I'm provided with is that "The stadium is colloquially known as "The Big House".". Is that enough to answer the question?
Answer: yes