You won't hear any difference between the Denon 5200 vs Denon 7200 vs Marantz 7009 (FYI - all 3 are made in Japan) when comparing the same mode (Pure Direct, Audyssey XT32, etc.) and setup.
I wouldn't even look at Integra since they dropped Audyssey.