We did it when we were messing about downstairs. Not sure it cost us £800 though. Sure it's probably fine, but I didn't like the idea of a lead water main .
As you say, it's probably fine but - pondering spending that money on a mains filtration system instead. Obviously if that lead pipe leaks that would be a serious error of judgement.
Those lead pipes are often quite small in diameter and sometimes caked in limescale too. Replacing it with a nice chonky plastic pipe stands a good chance of increasing your flow rate which can make it seem like you've got better pressure too.
We did it when we were messing about downstairs. Not sure it cost us £800 though. Sure it's probably fine, but I didn't like the idea of a lead water main .