Hello all, I have a few users that are now running 10.5. When they print to our HP 4100 printer, it automatically selects a manual paper tray and you need to push a button on the printer to select from the normal paper tray. Does anyone know any fix to this?