I'm doing the same project i just saw this thread and i did alot of research maybe what im doing can help. I'm dealing with 21 feet of head pressure vertically and there are other factors to take into account. Each elbow is 1ft of head pressure. Each 10ft of pipe horizontally is equal to 1ft of head pressure, and so on. I think once you establish all these factors, which it sounds like you have you can make a better judgment.
Let me tell you what I did, I brought all schedule 80 pvc and I know its overkill but it sounds like you are just like me. I thought of clogs and snaking through the pvc if there were such a problem as I only want to do this one time. I'm running 3 - 2" drains from the overflow to my basement, into my sump. For the return I did alot of research. Whether its Reeflo, panworld (which I didn't choose because I was told they discontinued the brand), Dolphin pumps which are not sold everywhere but have one of the most head pressure as a pump, and etc... I chose at the end 2 Abyzz A400 ipu. And the reason why I chose this pump was the warranty and the feedback from users and being a DC pump which will save you immensely on yiur electricity vs AC pumps. I chose two to run simultaneously if one goes down the other can still maintain the pressure just need to raise it. I know this is the most costly option but I think long term this is the best option and you are doing a big job and don't want to deal with alot of problems in your journey. Hope this helps