Austin Community College has done this and it's amazing.
I was mostly interested in it for the ice rink, though. An indoor ice rink was an exciting novelty in Central Texas at the time, and that was the only public one between San Antonio and Dallas when I was a kid.