Turns out the co-worker had his printer set for duplex. Take duplex off, and -o "duplex" does not work. Back to square one, which is: printer control -- make printer change modes, like landscape, duplex, etc., from its default settings, without going into the print control panel.