>>> 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.