And to be fair, there’s a lot more terrestrial things that causes GPS interference. I work with a guy that runs a boosted CB radio and it causes havoc with GPS signals. EM geometry is really interesting on how signals get encoded. It was fun studying how CDMA and GPS work.