The official time server for Texas Tech University is ntp.ttu.edu.