I currently use a HP Laserjet 1320, an Okidata Color Laser C3200 and a HP Color Laser 2605dn, and the print shop has some sort of large machine that prints, duplicates (like a copy machine) but also produces plates for offset printing. I don't know the model/name but can get it Monday. But I think I use a PDF printer driver when I create a .pdf file.