Biggest problem is I may have to take it all back to the auto-electrician to get him to solder the wires on the top. I am told you need special rosin-core solder and flux to get the wires to solder on properly. I have neither. I can solder small electrical joints, but this job is in a different league!
Dunno about that. These terminals are usually made of tinned brass or copper, specifically to make them solderable.
If this is the case here, normal electronic type [60Sn/40Pb] resin flux core soft solder will work just fine.
A small output soldering iron [some of those for hobby work are only 25-30W] will struggle to get enough heat into the job, though. Anything with 50W or better should be fine, however.
I sometimes use my old instant-heat Superscope 100W iron for these jobs.