Is the federal govt going to sell the seized IP addresses?

I bet you could get a really good price on them