> There seems to be a dns problem with outside.plan9.bell-labs.com.

There is no machine outside.plan9.bell-labs.com.
That's the authentication domain for sources.
The machine is sources.cs.bell-labs.com.

What's the error you're getting?

Russ