Can anyone give me a real world answer on the head height of this pump? Specs say 9.8ft, but not sure if I should trust that. I have about 10 feet horizontal and 6 feet vertical... not sure if the 4000 is enough. I'm not actually using it for an aquarium... but it seems like you folks are the experts