Water coming in through water main - advice?

My gf has a leak coming through her water main. The pipe is OK, but exterior water is pushing through the sealant around the pipe during heavy rain. It was enough to flood the basement so carpet and Sheetrock had to get replaced.

The main was replaced 7 years ago and had that sealant (goo) added during that job. It’s obviously failing now. The company won’t do anything - non-starter.

Long term we want the space to be habitable and dry.

I have 2 quotes to remediate it, both involve excavating outside, sealing with “everything we got” and either adding an external sump pump ($5k) or interior sump pump ($3.7k).

I’m mega DIY but hate digging.

Is there a DIY way to fix this without digging? Should we just pay and get it done? If so, thoughts on interior vs exterior sump pump?

ETA: After reading even a few of the responses, it looks like the repair that was done 7 years ago is the culprit. It was a $400 fix that probably belongs on /r/IveGotAGuy than here. That it made it 7 years is remarkable. She really needs to find a company that will swap out that Pex hack job and replace it with a proper sleeve and seal.