I just got the Denon 3805 and wondering whether to buy the Denon microphone for auto setup or do it manually using the SPL meter and the Avia disk? Thanks.