Title: Pricing the radio spectrum