[Hardware] Are the external mics for a cisco 7937 compatible with the Soundstation 7000?

Hi folks, just a quick question.

I was reading that the 7937 is just a OEM rebranded Soundstation 7000. Just wondering if we can reuse the same microphones (we're replacing our phone system that doesn't support the 7937) or if we need to buy the ones meant for the 7000?  

Cheers,

Taylor