So, I'd decided to follow advice and get a spare pump (although the original was fine after the hammer 'repair'). This one looks to have the same settings as mine (12 volts, 7.0 l/min, 1.4 bar, 4 amp). Do I need to get any other parts in order to fit it?
The only thing I can think of is the inlet side filter (just a few £1's) just incase yours gets bunged but there should be no hurry if the present pump is working alright!