Saying that the type of solder and flux doesn't matter is naive. Depending upon what solder, flux, and wire was used, you may actually have to unsolder and clean everything really well to stop the corrosive processes set underway (and use more suitable supplies). So please share what was used...
Aside from that, now that the damage is done, it may not be that bad and just be a flux residue that is left and could be cleaned up with something like an alcohol on a cotton swab, so give that a shot and report back as well.
