What would you do with a NNNNN.com domain name for a new zip code that will be added later this year? Develop it? Hang on to it? Sell it?