DEC BA35X and HSZ40C docs?