If te pump works fine don't bother replacing, my old one was failing I think, but it's it's just leaking do the gasket,
A gasket and new pipe will be about £30? Yeah
The pipe is ****** because it's been exposed to diesel for a while, if you swap the gasket then realise it needs a pump, no biggy, it's not going to damage the pipe very short term.
My isn't leaking but is swollen, so should buy a new a one.
Personally it's daft to buy a pump for it just to be a gasket.
Why don't you remove it and check it over? I know it's a waste of time but might just save you £180 roughly
It took me about 30mins to remove mine this morning but that was because the engine was still hot lol