we are down to 2 mirrors now. I have removed the last 3 mirrors from the redirector as they no longer work, and I have not been updated as to new addresses for them (It's annoying to keep changing them as they have dynamic ips anyway, so if they come back, can I ask the admin to setup some domain names for them and keep them updated)