[rarestia]

The receivers on the ground wouldn’t necessarily account for that, would they?

[Yo-Yo]

The receivers on the ground wouldn’t necessarily account for that, would they?

The receivers use GPS time at all times. Time displays that reference GPS time do have to take it into account.

Here's a web page that the major time types: http://leapsecond.com/java/gpsclock.htm