That's pretty interesting, thanks.
Just looked it up as it'd had never fully occurred to me how complex GPS was.
TIL that GPS satellites had 'atomic clocks' onboard.