These websites are known to have been using TexasTechUniversity.sharepoint.com as their DNS nameserver.