it comes out to about 200 gph (by my head calculations and I don’t trust that calculator). Now if it has a “randomizer”, it probably turns on pump 1, then it turns on pump 2 while turning off pump 1 and so on. So it might only have one pump working at a time. In that case, you have 100 gph. Now people often talk about 40 gph for SPS corals. But world wide corals runs theirs at 100 gph.
I am a scuba diver and I dive reefs with SPS corals. I often see flows that would work out to over 1000 gallons per hour. So no, it would not be over kill.
As a caution, I have found that quality pumps are quite durable. But the cheaper versions last say a couple or several years. So be careful what you buy used in pumps.