Greetings
You need to set the driver properties correct. I assume the driver is installed locally and the user is printing directly to the device (no point and print)
- right click queue, properties
- Devce Settings Tab
- Down the list: accessory output bin needs to be set to 8-bin MAILBOX Mode, if you set otther modes (eg. Stacker/Stapler, the choice will not show up in the interface for the user)
and then, and only then you will have the choice of the destination bins in the printing preferences.
cheers
Alex