That's good to know. By the way, the question about different mics have been discussed to the nth degree on avsforum, and from what I gathered from D+M and even Audyssey, they said they were specific to the model, but.. In fact there are only a few different part numbers (not counting the very old pre-Audyssey puck shape ones), but as long as you use the one with the same part# as your original one, it will be fine.
The one that came with the Denon AVR-X440H is ACM1HB, same as the one that came with my Marantz AV8801 that is a few years older. My AVR-4308CI (much older, year 2008?) has a different one, looked the same but much heavier, and has a different part number. What's the part# of yours?