TBH,
If it was mine, I would replace the pump and core plugs. Gently lift each big end and main cap off one by one to check for wear as there is no point putting it all back together in the car and then having to take the lot out again. The same applies to the pistons, if they have covered...