I run jeboas .
Get the biggest 15,000 . They are about as quiet as pumps get IMO
If it is too much [ I don't think it will be] you can dial it down easily and save electricity also.. I run the 12,000 that is 3-5 years on my 180 from the basement to my living room above it and in my 120 running a little lower then full ,just by choice . The 120 has 2 mega overflows so can handle the 12,000 full blast no problem . The DC
pumps transfer less heat to the tank also.
From what I see the Jeboas are like 1/4 - 1/2 price of the vectra pumps so I just bought 2 of them in case...The jeboas ARE the cheap Chinese knock off for sure.But all mine still run..
THAT'S A NICE SET UP !