@pratik Huh, I guess either I've never been to that part of campus or I just don't remember it. Lots of my family went to UT Austin so I've been there numerous times. That's very cool though. Maybe I'll have to make a special visit the next time I visit my family in Austin!