I wonder.
Has he changed printers recently, or upgraded drivers? The printing environment is almost entirely under the control of the print driver, and any options that you need will most likely be located under file, print, options or advanced.
Also, did this work under a previous version of IE, or under ver 6, and just stop working?