Mark or Sue writes:

As I
said before, I think a smaller pump run longer is better than a large one
run faster.

Quite true. You will spend $1000s for electricity running this pump, it
pays to get it optimized for power costs. Size it as small as possible to
turn the water over during daylight hours.