I don't know. A friend of mine still has his DEC e-mail address. That doesn't mean anything... up until I was layed off from HP, my DEC email address (@zk3.dec.com) still worked, though that domain is scheduled to go away at some point. They've been working site by site to remove the old dec stuff and replace it with @hp.com.