^I thought the same thing as as far it being summed. I'm sure there's something else, but the only thing that I know of that will EQ for 4 subs independently is JBL's BassQ. That's the first thing I'd start asking around about. Not sure that anyone here at AH has ever used one though, sorry. Unless the Velo is really cheap these days, I personally would prefer something much more advanced, I think that unit is extremely rudimentary, if very easy to use, so far as I understand it.
Another interesting trait about the JBL that it's supposed to come with FOUR mics and stands, that are all used simultaneously, I think it was for 16 total measurements? I read that it's designed after Floyd Toole's methodology, I wouldn't know however.
I have no idea how (un)reliable some vendors are, but some of the first prices I saw were lower than I expected. I thought this would be a little over 1k. (I immediately wonder if some prices I see are "too good to be true".)
Here is a manual.
http://manuals.harman.com/JBL/HOM/Owner's Manual/BassQ_OM_LR.pdf