Hi, I have S3, and recently an antivirus program I used deleted ipsec.sys file, which totally ruined my computer. Now I found a replacement file, but I can't find a way to install it... I was under the impression that I could uninstall the old faulty driver entry and just re-install it, but that's not the case. What can I do?