It really depends on the extent of the damage.
There's not much to lose by trying to repair the install or repairing the boot files. However, if the infection is widespread, backing up files could also backup the malware.
If it was me, I would try to repair and clean up the system. However, it can be an irritating, time consuming process, assuming it even works at all.