Bueno, a parte de esa "pequeña" diferencia puedes añadir que el nuevo modelo tiene HDMI 1.3 mientras que el antiguo es 1.1, con lo que pierdes la posibilidad de sacar audio HD hacia tu amplificador de por vida. Otra "pequeña" diferencia.
Además La tarjeta de red que lleva el 6500 es 10/100/1000 mientras que el antiguo modelo es solo 10/100.
La verdad es que para ahorrarte unos 70 € en un aparato tan caro como el 4100 o 6500.... es para pensarlo
En cuanto a la dónde comprarlo, no sé de dónde eres. En Madrid los distribuidores oficiales son ECI y una tienda que llama MicroShop que está en Fuenlabrada.
Lo importante es que no pagues de más y que la garantía sea española.
Un saludo.