I don't know if the two other receivers have it, but I really appreciate H/Ks bass management system. I have the H/K 7200 and it has plenty of power. The things I don't like about it are the delay when switching between sound formats, and the amount of heat it produces (which is less problematic now that I have it in a larger room).

I think any of your choices would serve you well. Just look at the functions each brand offers and choose the one you think best. There really is no wrong answer.

***********
"Nothin' up my sleeve. . ." --Bullwinkle J. Moose