I discovered a very tiny hole/scratch in a copper pipe in my basement this morning. It looks like the scratch was caused by a screw that was holding up some wood paneling. The hole is in the middle of a run (not at a joint) and drips only once every 5 or 10 seconds. The pipe carries water from the boiler, so ideally the less surgery the better to repair it.
Apologies for the not great image...hopefully you can see the small scratch on the left side along with the water pooling on the pipe in the middle.
I have a plumber coming out this afternoon but this seems like something I should be able to fix myself with a little solder or something else. Any recommendations?