For the head pressure of 12+ feet it's going to need to be a somewhat decent size pump. Internal pumps such as Mag etc... that can produce that head will heat up the aquarium.
I've always been a fan of external pumps, I've owned multiple sequence pumps, they are quiet and have yet to fail me. Some of the internal pumps seem to fail more often or thats the impression I got after doing some research.