.ve WHOIS Down?

For want of a better place to ask, I'm wondering if anyone monitoring this list might know what is up with the registro.nic.ve web site. The WHOIS at www.nic.ve refers to that site, and it appears to be down (for me and downforeveryoneorjustme.com too). Doing old fashioned native WHOIS isn't working any better.