All, I've taken a mirror of http://cm.bell-labs.com/cm/cs/who/dmr/ and placed it at http://minnie.tuhs.org/dmr/ Feel free to mirror from minnie, in case the Labs' server gets overloaded. It's 112 Megs. Cheers, Warren