btw you could try ntpd-rs
i’m synchronizing from almost the exact same sources and i use it to run a gps time server at home
it’s been great 
btw you could try ntpd-rs
i’m synchronizing from almost the exact same sources and i use it to run a gps time server at home
it’s been great