Having different OS is not a big deal. It can't affect the network. Infact I am also using different version of OS in my PC but I don't have any problem in my network. But if that would be your technician's last alternative then try to reformat it.