GCC Printers — user manuals