I want to know the answer to the following question:
How many books are housed at the Theodore Hesburgh Library?
All the background I'm provided with is that "The most famous is Notre Dame Stadium, home of the Fighting Irish football team; it has been renovated several times and today it can hold more than 80 thousand people.". Is that enough to answer the question?