.mil broken again?

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