Pneumatic washer pump - repair or replace with electric?