For what it's worth, for quite a few years, I have been using a NTP200 (that model since replaced with the NTP220) from CenterClick as my time source, and been very happy with it. https://centerclick.com/ntp/
All my devices that want time (pretty much everything) gets time from the NTP200.