Tom,  I know how your stressed as to the condition of that mic connector. 
To avoid the stress and worry, put a large screwdriver between the pins and 
twist hard. If something don't give, grab the driver with some pliers and 
twist hard to the right and then to the left.  That way you will get rid of 
the question and the stress.  Good luck and 73.  Ed           K7UC