Is Tcu.edu down?

Checking server. This will only take a few seconds...