I've been curious about this too, and have been looking around at the same price point and for the same reason -- 4-mic mixes.
Thought about the At3032's since I used to have the AT4041's and was very impressed with them for the price. At the moment, I've got the SP C4 card/omni package. I've only been able to use them once so far in a 4-mic mix for Trey and liked it pretty well -- better than the 2-ch mix. (I recorded DIN AKG ck61> jklabs ecms> V3digi-out > MT for 2ch, and then used the V3analog-out into a Marenius MM4210 mixer along with split C4 omnis. Made it easy to compare the akg ck61 2ch version to the ck61/C4 omni 4-ch mix.)
I need to do more testing with the C4's to know how I feel about them in a 4-ch mix. They seem like they fit the bill well, but I'm still looking around for other omni choices.