Salut,
Une photo aurait été utile pour voir le problème.
A part çà il me semble qu'en agrandissant le trou il sera plus aisé de réparer le tube percé. Le seul moyen de réparer sera ensuite de poser un "pansement" sur le trou et de braser le tout avec de la brasure d'argent.
Le peu que je sais, c'est à mon ignorance que je le dois.