I have heard also that the newer receivers are much faster when switching from mic/mic locations. On my Denon it takes about 1-2 minutes before between each mic move, then you have to calculate.

M80s VP180 4xM22ow 4xM3ic EP600 2xEP350
AnthemAVM60 Outlaw7700 EmoA500 Epson5040UB FluanceRT85