^That's quite a production.
Hard to tell from the low res video, but looks like a near spaced pair in the center, and maybe a near-spaced pair at all three mic locations. Regardless, I definitely hear a hole in the middle.
3-to-1 rule is different than the old 1/3-2/3's positions across the front of the orchestra omni spacing thing. But that doesn't keep it from being commonly suggested as appropriate for a stereo pair of omnis, even though it's impossible to apply to stereo mic'ing. Two microphones cannot be three units of measure apart from each other and one unit of measure from the same source, it's simply geometrically impossible. I never thought about it before, but I suppose the 1:3 and 1/3-2/3 numbers are similar enough that the two 'rules' become prone to confusion even though they address entirely different things.
I've blathered way too much about arcane technical aspects in previous posts. Pressed for a quick & dirty guideline of omni spacing for stereo recording, I'd probably sum up my approach like this:
1'-2' with some sort of baffle (disk, sphere, head, or body) in between
3' with nothing in between
6' with another mic in between
More than 6' may work well in certain situations common to TS for the reasons mentioned, but gets riskier, is probably at the point of diminishing returns, and may become harder to setup in a practical sense.