Ok. I have done several AV checks since I deleted the file because I wasn’t sure if just deleting a virus gets rid of it or not. I don’t have much experience of virus’ since I’ve only ever had 4 or 5.