from my experience, matching isnt that important if the mics are from a reputable manufacturer. when quality control is high, mic performance matching is pretty much a non-isue.
AKG only matches 1 model of their 414 series...not even the 480s. I believe Neumann only matches their skm180 and skm140 series and Schoeps only the mk caps??
with name brand manufacturers, if the serial #s are close, I say don't worry about it as they were manufacturered at the same time(roughly). my ADK TL's aren't matched and their serials differ by about 100+ and I can only notice MAYBE 1-2dbs difference, a difference easily compensated for with the preamp.