May I recommend that anyone who does not already have the ESPN College Football Encyclopedia go buy it. It has the the history, stadium size, student pop. ect. for all FBS schools in it including how schools got their nicknames and mascots. I think the newest edition came out around '04 so it is a little outdated on some stadium and school size but none the less a great reference for questions such as this
But that's no fun. Party pooper.