Gas tank repair