If HP Laserjet 9500n is not printing duplex or even showing it as an option, choose PCL6 driver from HP website. Delete the printer from your added printers and add it again using this time the PCL6 driver. When prompted select 9500n PCL mpf from list. This should give you duplex printing option.