Anothernother fun fact: GPS satellites also have to constantly correct for the relativistic effects caused by the difference in gravity between their orbit and Earth’s surface!

These two relativistic effects cancel each other out somewhat, tugging time in opposite directions, but their respective magnitudes are different.