Powering is more of a problem that needs to be addressed rather than a deal-breaker for me. To my way of thinking the TetraMic is a small and unimposing, very versatile, single-point stereo microphone, and its super-small size and low-voltage powering are two potential advantages over the SPS2000 since as Jon mentions you can use 4 powering adapters which can fit inside the XLR housings (his Naiant PFA should work) or build a single 4-ch battery box supply or a single P48 converter supply with a single 6-pin mini-xlr input. Core may offer something like that now. I have the 6-pin to 4 x 3-pin_mini-XLR breakout already, used for input to the 4 separate-box powering adapters.
I'm working on a 4-channel PIP amp with a single 6-pin mini-XLR input, channel trims and ganged channel gains, single 6-pin mini-xlr output and a breakout cable to two stereo mini-plugs. That will allow me to record into a handheld DR2d recorder without a nest of cables and adapters and will allow the entire recording package to easily fit into a small shaving bag, making for a small, super-versatile up-close stereo recording rig.
I use other spaced setups for recording surround. IMO spaced setups are generally superior for surround recording of music. Haven't heard the 5100 and I'm sure it would work fine for that, but I bet spaced configs will better it for serious music recording. The 5100 does look super convenient and simple to run for direct 5.1 output without hassles, which I think are it's main selling points.