On the NASA thing, they're most likely fine. Doing a quick search I found the
You must be registered to see the links
and a
You must be registered to see the links
. From what I can tell there could be an issue if they used the actual NASA logo, but in the capacity that it was an official NASA game or product or something? Then they would have to get permission from NASA (imagine how that e-mail would read
). I can't find anything about just the name being an issue. It also seems that the government agency thing applies more to impersonations.