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).
https://www.baesystems.com/en/product/defense-advanced-gps-r...
https://www.baesystems.com/en/product/defense-advanced-gps-r...