I decided I had to look this up because what numbers we coming up with
didn't jive with my memory. I almost made an iPython notebook, but
this particular reference laid it out better than I could anyway!
>From the [possibly quite interesting] book "Fundamentals of Global
Positioning System Receivers: A Software Approach", pp 34--38
If the google books link didn't work right, the upshot is:
"For the L1 frequency [...] the maximum Doppler frequency shift is 4.9 kHz"
psas-avionics mailing list