I said to my wife when this story first broke, "If they are not right, I'll bet you anything the problem will be found within the timing circuit or clock signal."
Of course, at those speeds, that's the most obvious place to start.
My brother writes software for mapping programs and years ago he talked about how they have to calibrate the satellites pretty often when using them for timing since they move so fast it messes with time. I'm am big Einstein buff.