Raider Library

We connect students and staff with ideas and resources to build community and prepare for a world of possibilities.

ILL Request (To request an item from another campus)

If the library does not own a copy of the book you're looking for,

please email to request that we order it.


M 8:15 am - 4:30 pm

T 8:15 am - 4:30 pm

W 8:15 am - 4:30 pm

Th 8:15 am - 5:30 pm OPEN LATE!

F 8:15 am - 4:30 pm


Debbie Chavez, Librarian, 512-704-0288

Claire Jones, Librarian, 512-704-0290

Beth Hochhalter, Library Assistant, 512-704-0289

Printing Costs

Black & White 10 cents/page, but the first 5 are FREE!

Color 10 cents/page

Student ID Cards

Free for all newly enrolled students.

$5 for a replacement ID card.


Please, no food in the library. Drinks with lids are permitted.

Using your school ID card will facilitate a faster check out from the library. Up to 5 items per student.

Please contribute to the quiet environment of the space. Set your devices to silent upon entering the library.