SoundPros lists the mic dimensions of at least the first few mics listed. I'd measure your MM mics, then compare against the specs on the
Sound Pros website. For the last one in the list, dunno of
Core-Sound includes size info, but they offer pics of them next to small items of known size, like a coin.