They do not stock the pump, but can get a new one for about 850 euro. They still have not gotten back to me on my repair questions and we are leaving Barcelona. The company is Pinmar Marine in Barcelona, but I am sure that any Marine store may be able to help you.
