you could go with the 9.5, and put a ball valve in to control the flow. (if you are using pvc) keep in mind also if you are going up 4', any bends, 45's,90's will slow the rate down
I use an overflow box rated at 800 gph, with a 9.5
it goes up 4', but has a 45 and a 90 on it, and the flow is just right without any valve