A minor point, but pantheon.yale.edu isn't a 'felicitous' domain here.
(Whee... that word keeps coming up in my linguistics class, and I've
finally been able to use it.) It technically *is* a domain, but it's
really just a hostname set up for convenience. So if it's in your search
path, you waste a lookup each time you try to resolve a host. (Again, not
that it matters.)
A recommended search path is
its.yale.edu
cis.yale.edu
yale.edu
> eth0 netmask 140.247.98.1 <empty>
Ah, so you're from Harvard? :)
Shawn