[Colonel]

I don't think you are serious, but I'm sure rooting a .gov is not considered petty by them.

They don't give one flying fuck if you root a .gov, .mil, .int, any of that bullshit as long as it isn't publicized that much, stop trying to act like you have experience, you're clueless.

---

Any interesting files on their server?

Stop being a pussy and find out, he basically gave you the url.