My lab just got a new HP Color LaserJet CP3525 and while everyone else can print double sided (both Linux and OS X), I am utterly unable to. I don't even have the option. This is weird, because I have the correct drivers installed and in the system preferences panel, I have the option for duplex printer checked. This is in 10.5, by the way. Any ideas?