I work in a field that deals with the government, and we interface with them through a .net website.
So, I cant add much to this discussion aside from yes, govt agencies are the only ones allowed to have .gov. Yes, they use non .gov domains, not sure of the value of the .net vs .gov in these...