So in my freshwater aquarium I have a variable speed DC pump. At feeding I can push a button and it shuts off and in 10 minutes it slowly ramps up to full speed again. It is more economical to run than A.C. pumps. Are there pumps like this in the pond hobby? And would the feeding switch be needed?