Wofür 7.1, wenn es kaum Filme im 7.1 Format gibt? Selbst BD ist meist im 5.1 Format.

Zu 7.1 vs 7.2 -> Man kann auch einfach eine T-Weiche an den Sub-Out anschließen, dann kann am auch zwei Subwoofer anstöpseln. Wird sogar bei manchen Systemen mit 2 Subwoofern (Die Stereo-Systeme) auf der Teufel-Website offiziell erwähnt.
Ansonsten, der Yamaha RX-V663 hat auch 2 Sub-Outs. Das Modell wird allerdings nicht mehr hergestellt, wenn ich recht informiert bin, ein Nachfolgermodell sollte es aber geben.

Zu den von dir genannten Modellen kann ich leider nichts sagen.