Thank you.
I am using 2x Jebao DCP-20000. They are DC, inexpensive, and can push 5k+ GPH BUT they can take up to 31ft of head pressure. As I have about 15ft to deal with going up to the tank, I wanted to make sure I got what would fit the bill.
I have them both at about 50% and I think the flow is great. If it isn't in reality, I can always turn them up. They are also pretty quiet.