OK. Other than it talking a little longer than I would have liked, this was a pretty positive experience. I sent both mics in (just in case they could be "matched" or whatnot. Got a call with the findings, and repairs completed.
The damaged "element" was replaced; also, the "grip" (the actual tube or body). They also tested the non-damaged mic and detected a slight ground hum, so they replaced the grip on that too. Brandi (who did the repairs) said that the newer style grips provided better grounding due to the insides being "buffed". She also said that they couldn't provide a chart of the performance, but that when she took them into the chamber they were within tolerances and also within a half dB of each other.
Including shipping, $129.10. I'm happy