Out of interest how large are the repos currently (extras, testing + dev, plus the others, Nokia etc)?

Can't see them closing them down any time soon, but would be a good idea to back everything up and I'd be happy to help (with server space etc or anything else)