Also sagen wir das mal so:
Die "großen" Hersteller bieten oftmals gar kein Matching an, oder nur auf Rückfrage, da ihre Mikrofone ohnehin eine so geringe Streuung aufweisen, dass man die verschiedenen Seriennummern ohne weiteres "vermischen" kann.
Manche bieten so etwas auch nur für den amerikanischen Markt an (scheint da "in" zu sein).
Die billigen Hersteller matchen... aber... eben nicht wirklich gut... damit ist es mehr ein Marketinggag, und generell gilt ohnehin:
Wer billig kauft, kauft zweimal.
Wie es sich mit den genannten Mikrofonen verhält weiß ich nicht, jedoch behaupte ich mal ganz dreist, dass das ohnehin nicht von Relevanz ist, wenn du sie nur für die Overheads verwenden willst...