Fran, Zinc chloride was the best flux to use in this situation. Its water soluble and washes off easily with hot water and dish soap. Rosin fluxes are useless and paste fluxes would be harder to clean off. I would have suggested first using a dremel with a steel wire brush to remove the oxide and any rust.
A mini torch would have been faster and but a big iron is OK.
Pete