We have a set of xenix manuals where i work. problem is that someone else is always using the manuals when some other person wants to use the manuals. Does anyone know how much a seperate set of manuals(a full set you get when you order the OS) costs??? perhaps on regular sheets of paper instead of those dinky little manuals. evh at vax1.acs.udel.edu