just in case somebody still comes across this thread, I just got the mic from some guy on ebay for less than $40.- I just ran the auto setup and am testing it now with different sources, sounds good so far.
I did first buy that radio shack meter, which will go back to them. Measuring the distance and adjusting all speakers to the same level was easy enough, but the EQ settings by hand are too cumbersome for me. would be ok with analog buttons, but doing that all with the remote and my years-of-live-music-damaged ears seems rather frustrating. Also I listen to just about every kind of music that's out there, I figure what ever "perfect" middle ground Denon picked might be just fine for me. The only strange thing, the sub is set about 12 feet further away than it actually is, but the (crappy) manual says that's ok.
Well, testing with music DVDs right now, next will be Terminator 3, the crane and firetruck chase. Hopefully my house will remain staning
Oliver