The coresound HEBs are just DPA mics.
I thought coresound used a 5-pin mini-xlr connector? My first pair of DPAs were bought from coresound (never again) and were terminated in mini-xlr. I ended up chopping it off and having the mics re-terminated with microdot connectors.
When I get home from work, I'll have a look to see if I still have the xlr end (possibly not) and will have a look. From memory, only 3 pins were used (common shield, left, right). The cables to the mic bodies are thin coax (signal, shield).
Hope this helps,