Deffo pump time. As said though check its deffo TDCI seems a little early.

Pumps can be repaired but easier just replacing with a second hand unit. Make sure you get the proper timing kit! Easily done in situ without removing chain.