Once or twice a week when individuals want to print and use a feature like stapling the option will not be available in the driver. Looking at the graphic for the printer in the driver properties the finisher is missing. The only way I have found to fix this is to go on the print server, go to the device settings tab, click the auto configure button and auto configure and the finisher will be shown again. The image shows PCL XL and the driver version is 60.3024.0
I remember seeing this ages ago in another gig, but that never was resolved either.