Found a leak in the main drain pipe while in my crawl space. It’s 1-1/2" copper tubing, leaking from a crack in the middle of a section with no joins nearby. I got one of those epoxy/resin pipe bandage kits to try to just patch it, but as I was working the epoxy over the crack, my fingers went through the bottom of the pipe in a spot a couple inches upstream of the crack. After further inspection for other weak spots, I’m figuring on replacing about a foot of pipe.
The pipe’s in a weird spot where I really don’t want to try to use a torch to sweat in the new section. Push-connects in this size are hard to find and expensive as hell, but I saw these shielded neoprene couplings and they seem like they’d be perfect, plus they’re inexpensive. Does anyone have any experience with these?

I used one of these on my 4" PVC drain pipe three years ago when I installed a utility sink in my basement and have not seen a drop. Unsure whether its up to code, but it is working well.