It's not that hard to make one yourself by the way, and the hardware costs about $15. At the pro level you can get rack mount units with GPS + an on board TXCO/OXCO/rubidium frequency reference. You can probably get one with a cesium reference too, but I don't think that's much use outside a metrology lab (and will cost a fortune).
https://spectracom.com/products-services/precision-timing/en... edit: if someone knows about how much these cost please comment, I'm curious but I don't want to request a quote.
https://developers.redhat.com/blog/2017/02/22/how-to-build-a...