Remember that the files are perfectly safe as long as they are in the virus chest.
Once removed (deleted) they can not be restored should it turn out to be a false positive.
(Without further analysis, it’s impossible to rule out that possibility.)
Your computer, your choice. :slight_smile: