Great article Richard!
You know your stuff :-)
The time warping effects of the Earth’s mass also have to be calculated for precise GPS data to be had. The clocks on the sats actually are fast compared to the clocks on the ground...their speed slows their clocks down, but not enough to make up for the ground clocks closer proximity to the plant mass...the mass slows time down relative to the farther away sats.
Thanks for your kind comments. I suggest that you check out
http://www.cis.rit.edu/people/faculty/easton/NRL_GPS_Bibliography/NRL_GPS_Bibliography.pdf
They’re a lot of comments about relativistic effects especially p 74.