Problems reaching Texas Higher Education (the.net)

Can anyone else confirm difficulty reaching hosts on the.net, e.g., mims.utdallas.edu. Our customer reports a several day outage. Thanks, Larry