.mil broken again?

[Antonio Querubin <tony () lava net>]

I'm seeing DNS lookup failures for us.af.mil, usmc.mil, us.army.mil, and 
navy.mil.  Possibly more .mil are affected.  This is getting way too 
frequent.  Anybody got a good out-of-band (not .mil) contact for reporting 
this?

Antonio Querubin
808-545-5282 x3003
e-mail/xmpp:  tony () lava net