[drynoc]

Thanks to those who responded.

I have a manual pump, and it seems to work well. I was concerned about an automatic pump for those times when the bilges might need dealing with while I''m away. The one point seems to be the operative one to me: a truly serious leak which might hazard the vessel while you''re away would outlast the battery anyway.