CVS Down?

OK, I don't want to start all of this again, but I want to make sure I am not doing something...my DNS server is very slow to update. So, is va.php.net really down? I'm getting "No route to host." again, like when above.net got hacked... --Joey Smith Please forgive the long sig: *** Notice To Bulk Emailers: Attention! Pursuant to US Code, Title 47, Chapter 5, Subchapter II, 227, any & all unsolicited commercial e-mail sent to this address is subject to a download and archival fee in the amount of the $1500 US and copies will be forwarded to domain administrators. Emailing denotes acceptance of said terms!