If it is corrosion, as thebuilder suggests, fixing the leak will only be a temporary measure as the corrosion will spread. Will you ever dare go away for a holiday knowing that you could come back to a flood?
Many years ago I was in the local ironmongers when I bumped into a neighbour. He said his header tank had gone and he was going on holiday the next day. "That's unlucky", I said. "No, lucky" he said, "it could have gone in two days' time".
Thebuilders' advice is always good on these matters.