Text this: Implementation of the FCC spectrum auctions :