> has access to a separate, encrypted, higher-precision GPS signal.

That's not it, though. This is available on the consumer L1 band, and you can even read that info using a $5 Ublox receiver (UBX-RXM-SFRBX command).