It's not down; it's just out of work at the moment. The server is working just fine and accepting work units as I write. Please refer to the server status page.
serverstat has a bit of a lag...work units are coming in and going out right now.
BTW regarding your other question, all three A3 work servers will be around for a while. We'll probably add some others as well.
[04:39:00] Initial: ED82; - Successful: assigned to (130.237.232.140).
[04:39:00] + News From Folding@Home: Welcome to Folding@Home
[04:39:00] Loaded queue successfully.
[04:39:00] Connecting to http://130.237.232.140:8080/
[04:39:01] Posted data.
[04:39:01] Initial: 0000; - Error: Bad packet type from server, expected work assignment
[04:39:01] - Attempt #1 to get work failed, and no other work to do.
Waiting before retry.
[04:39:13] + Attempting to get work packet
[04:39:13] Passkey found
[04:39:13] - Will indicate memory of 4095 MB
[04:39:13] - Connecting to assignment server
[04:39:13] Connecting to http://assign.stanford.edu:8080/
[04:39:13] Posted data.
[04:39:13] Initial: ED82; - Successful: assigned to (130.237.232.140).
[04:39:13] + News From Folding@Home: Welcome to Folding@Home
[04:39:13] Loaded queue successfully.
[04:39:13] Connecting to http://130.237.232.140:8080/
[04:39:14] Posted data.
[04:39:14] Initial: 0000; - Error: Bad packet type from server, expected work assignment
[04:39:14] - Attempt #2 to get work failed, and no other work to do.
Waiting before retry.
[04:39:27] + Attempting to get work packet
[04:39:27] Passkey found
[04:39:27] - Will indicate memory of 4095 MB
[04:39:27] - Connecting to assignment server
[04:39:27] Connecting to http://assign.stanford.edu:8080/
[04:39:28] Posted data.
[04:39:28] Initial: ED82; - Successful: assigned to (130.237.232.140).
[04:39:28] + News From Folding@Home: Welcome to Folding@Home
[04:39:28] Loaded queue successfully.
[04:39:28] Connecting to http://130.237.232.140:8080/
[04:39:29] Posted data.
[04:39:29] Initial: 0000; - Error: Bad packet type from server, expected work assignment
[04:39:29] - Attempt #3 to get work failed, and no other work to do.
Waiting before retry.
[04:39:59] + Attempting to get work packet
[04:39:59] Passkey found
[04:39:59] - Will indicate memory of 4095 MB
[04:39:59] - Connecting to assignment server
[04:39:59] Connecting to http://assign.stanford.edu:8080/
[04:40:00] Posted data.
[04:40:00] Initial: ED82; - Successful: assigned to (130.237.232.140).
[04:40:00] + News From Folding@Home: Welcome to Folding@Home
[04:40:00] Loaded queue successfully.
[04:40:00] Connecting to http://130.237.232.140:8080/
[04:40:01] Posted data.
[04:40:01] Initial: 0000; - Error: Bad packet type from server, expected work assignment
[04:40:01] - Attempt #4 to get work failed, and no other work to do.
Waiting before retry.
[04:40:49] + Attempting to get work packet
[04:40:49] Passkey found
[04:40:49] - Will indicate memory of 4095 MB
[04:40:49] - Connecting to assignment server
[04:40:49] Connecting to http://assign.stanford.edu:8080/
[04:40:50] Posted data.
[04:40:50] Initial: ED82; - Successful: assigned to (130.237.232.140).
[04:40:50] + News From Folding@Home: Welcome to Folding@Home
[04:40:50] Loaded queue successfully.
[04:40:50] Connecting to http://130.237.232.140:8080/
[04:40:51] Posted data.
[04:40:51] Initial: 0000; - Error: Bad packet type from server, expected work assignment
[04:40:51] - Attempt #5 to get work failed, and no other work to do.
Waiting before retry.