The Onkyo TX-NR6100 offers all of the features and performance you'd want in a sub-$1k receiver and is especially suited to Android users.

On the other hand the TX-NR5100 has a limited number of HDMI ports -- four HDMI 2.1 ports (plus two outputs) and only includes the spring clip speaker connections for all but the front stereo pair.