all this talk about electronic documents - at work we have dozens of binders, each with smaller booklets on specific machines, full of all kinds of job codes and rules, they could be easily digitized, and probably exist in a digital format somewhere, but I think it's much easier to flip pages in a binder then scroll through hundreds of pages in pdfs.