I would recommended fresh start (fresh install) as virus you had is file infection (infects executable files). With recovery disk he will be able to repair windows critical files (userspace) and that should do the job just fine.