From my experience, most IT guys don't know what they are doing when it comes to print drivers. Most just seem to use the WSD shortcut rather than downloading...