>> with
DEC being gone, etc? 
 Gone?  Not quite.  HP owns all the rights.  But HP in my
experience is a
 very friendly company to historians and hobbyists. 
 
Often.
But there exist some execs in HP who adamently refuse to ever cooperate
with anybody who is "working out of a garage".
--
Grumpy Ol' Fred                     cisin at