We're kindred spirits Kevin. I have my cream colored DQ-10's hooked up to a TX-SR805!
Bet you could find the mic on eBay. Rather old item so maybe someone has an orphaned one to sell, although not sure I'd trust it over your own ears (but worth the 10 minutes to experiment!)