I have had issues at my business with print-outs being affected between different users when the print drivers are old. Maybe someone from IT should get the latest print drivers for the printer and ensure that these are installed on the 2 peoples PC's.