These websites are known to have been using ns01.texastechprintanddesign.com as their DNS nameserver.