+1 for Meinberg. I have worked for the competition (Gorgy Timing) for a few years and boy were we far behind in terms of hardware as well as software. They had a full ntpv3 while we marketed sntp as ntp (i.e. we missed a good part of the statistical treatment). I always have found their time servers wonderful.