The GPS spec implies the satellites have a fixed frequency offset to compensate for relativistic effects. But do they actually dynamically and/or individually adjust the frequency to adjust for orbit variations and eccentricities?