I am fixing up an old Johnson 5HP 2 stroke of unknown vintage I noticed this pin hole in the copper water pick up tube near the power head my question is should this hole be there or should it be repaired
ed ​