The FCC originally sold the bandwidth for $100 million, then Terrestar bought it a few years later for $245 million. They obviously overpaid, due to bad management and the difficulties and eventual bankruptcy it caused. That $177 million figure is being bounced around, apparently.