Pond pump used but work’s fine