80% of users are now back on server4. It's now 4am, so I'm going to try to get three hours sleep. Restores are continuing to run in the meantime, although of course new mail isn't being delivered to server1 users.
Incidently, it's my birthday today - not a great way to spend it!