the HTTP servers are very slow.

Unblock ports 6000-8000 locally and ask your admins to do the same (as far as port forwarding goes).

K