TJ's DNS records are served by our primary nameserver ns1.tjhsst.edu (198.38.16.40) and our secondary nameserver ns2.tjhsst.edu (198.38.16.41). The records themselves are stored in a Git repository on GitLab. For detailed procedures, see our Runbooks. 
