Lead Pipe Drama

I finally heard back from the sellers as to my request for improvements on the property. I had requested all outlets be converted into GFCI, a termite treatment, and to replace the one and only lead pipe in the house, the water main.
They came back with and addendum to the addendum. All go on everything but the lead pipe. They were quoted 2,800 to replace it.

Let me repeat.

2,800 Dollars.

Is this one of the first joys of home ownership? Luckily I’m pretty sure my Papa Bumpkins is willing to help me out. Something about not wanting Grandchildren any more deformed than necessary? No worry about my brain cells though, I guess hopes long gone for that.