“A former shopping mall in Austin retrofitted by Austin Community College.”