"Stormin Mormon" wrote in message
...
I've seen "Diversigum" used. At least, when I did HVAC
installs, that's what we used. The boss used to call it
"thumb gum".

When I used to work in my fathers auto-body repair shop in the 1950s, a
lifetime ago, we used a similar sealant to plug holes where wires and pipes
went through the body. In those days it was called "dum-dum", it sounds
similar.