Ok I will setup a mirror of the Debian tree. I will start setting it up today late evening.
That would be super. Then we can point our sources.list to your servers instead. Can you send us the sources.list file that we would need to use for apt-get to work?
Regards
Rishi