Hasn't been a question of the right mic for the newer receivers. It seems last years models may or may not have the correct mic. It is now under investigation by Audyssey.
My mics have 2 markings, I wrote the AVR model number on them. I suggest everyone do the same, before they get them mixed up.