[outages] Mediacom DNS server issue?

I was first alerted by our email server because there was no DNS resolution for mchsi.com. Every indication from my testing is that Mediacom's two DNS servers: NS1.MCOMDC.COM 74.84.103.134 NS2.MCOMDC.COM 74.84.119.134 are down. I can't query anything about mchsi.com or mediacomcable.com, but www.mediacomcc.com, which uses different nameservers, resolved just fine. Frank