Yes,that would probably be the best bet,in my opinion.
Two more things,before I forget.
1.
If these files still have the hidden attribute,you won't be able to view them once you rehide the files on your computer.
If you've reversed showing hidden files,please go here to temporarily unhide them once again:
http://www.bleepingcomputer.com/tuto...-windows/#win7
Could you return to where these files are located,rightclick them,then select Properties.Look under the General tab.Can you let me know if Hidden is checkmarked?Also,is the word Hidden and the checkbox next to it partially transparent?
2.Since removing the original infection,has everything been okay with your computer?There are no signs of the original infection remaining?(for example,your browser being redirected to unwanted sites,etc.?)