Assuming it is the pump, this might be the prompt I need to add one to my ever growing spares bag. Does anyone have a link to the replacement we need to buy please?

Thanks.