They were one of the first HDTV customers, along with NGIA and NRO.