Dos cosas, creo que has puesto los enlaces al revés. Al cambio y con comisiones te van a salir algo más caros de lo que has puesto, ponle 260 eur para el 1713 y 350 para el 2113. Además, necesitas a alguien que te lo envíe desde Inglaterra por paquetería, ya que NO envían a España. Así que suponinendo que conozcas a alguien allí y que te haga el envío, súmale otros 60 euros fácilmente del mensajero. Creo que no sale a cuenta, mejor cómpralo aquí por Redcoon o como mucho Amazon.de
En cuanto a los receptores en sí, ya no es sólo tener un 7.1 respecto a un 5.1, es que trae otras características que no tiene el otro (reescalado, más potencia por canal, etc). Tú mismo debes valorar lo que se adapta a tus necesidades.