I can't print double-sided on a printer (Ricoh Aficio 3035) that does support duplex printing, at least for Windows computers. In Print --> Layout, the two-sided options are grayed-out. I tried Printer Setup Utility, but there is *nothing* listed under "Installable Options" so I cannot check the "Duplex Unit" box. Even after I dl'ed and installed the PPD driver, "installable options" remains blank. Does the printer automatically recognize that there's now a PPD driver installed, or do I have to somehow link the driver to my printer (which was already added to my computer, so I didn't add it again after dl-ing the driver)? Any suggestions? Thanks for your help!