Yep. And with a bit of bs too. They are far from being first to come up with a PTP master clock.

BTW - to all the time nuts in here. Anyone knows, is there any cheap and whacky way to substitute PC 133.33MhZ PCI clock source with something really really stable, so TSC becomes rock solid (say 1ns/sec)?