Gas tank repair techniques