.ve WHOIS Down?

[Crist Clark]

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.