Sorry, no experience of that, but why 5k to replace your pipe?
Surely you just need a couple of day's minidigger hire, some 25mm polyprop, a few hours to bring it into the house and hook it in? That's under 250 quid, so surely the waterco don't charge the rest for changeover?