diff --git a/hosts/nixos/calypso/default.nix b/hosts/nixos/calypso/default.nix
index ba44a0c..16bd07f 100644
--- a/hosts/nixos/calypso/default.nix
+++ b/hosts/nixos/calypso/default.nix
@@ -37,16 +37,16 @@
   # }}}
   # {{{ Tailscale internal IP DNS records
   satellite.dns.records = [
-    # {
-    #   at = config.networking.hostName;
-    #   type = "A";
-    #   value = "100.93.136.59";
-    # }
-    # {
-    #   at = config.networking.hostName;
-    #   type = "AAAA";
-    #   value = "fd7a:115c:a1e0::e75d:883b";
-    # }
+    {
+      at = config.networking.hostName;
+      type = "A";
+      value = "100.74.40.5";
+    }
+    {
+      at = config.networking.hostName;
+      type = "AAAA";
+      value = "fd7a:115c:a1e0::1201:2806";
+    }
   ];
   # }}}
   # {{{ A few ad-hoc programs
diff --git a/hosts/nixos/lapetus/default.nix b/hosts/nixos/lapetus/default.nix
index 741fda2..26ffd37 100644
--- a/hosts/nixos/lapetus/default.nix
+++ b/hosts/nixos/lapetus/default.nix
@@ -37,7 +37,7 @@
     ./services/qbittorrent.nix # turned on/off depending on whether my vpn is paid for
     ./services/radicale.nix
     ./services/redlib.nix
-    ./services/smos.nix
+    # ./services/smos.nix
     ./services/vaultwarden.nix
     ./services/whoogle.nix
     ./services/zfs.nix
diff --git a/hosts/nixos/tethys/default.nix b/hosts/nixos/tethys/default.nix
index 993fcf2..2285081 100644
--- a/hosts/nixos/tethys/default.nix
+++ b/hosts/nixos/tethys/default.nix
@@ -1,4 +1,4 @@
-{ pkgs, ... }:
+{ pkgs, config, ... }:
 {
   # https://nixos.wiki/wiki/FAQ/When_do_I_update_stateVersion
   system.stateVersion = "22.11";
@@ -47,16 +47,16 @@
   # }}}
   # {{{ Tailscale internal IP DNS records
   satellite.dns.records = [
-    # {
-    #   at = config.networking.hostName;
-    #   type = "A";
-    #   value = "100.93.136.59";
-    # }
-    # {
-    #   at = config.networking.hostName;
-    #   type = "AAAA";
-    #   value = "fd7a:115c:a1e0::e75d:883b";
-    # }
+    {
+      at = config.networking.hostName;
+      type = "A";
+      value = "100.93.136.59";
+    }
+    {
+      at = config.networking.hostName;
+      type = "AAAA";
+      value = "fd7a:115c:a1e0::e75d:883b";
+    }
   ];
   # }}}
   # {{{ SSH keys