A priori c’est juste une différence de référencement (appelé 7100 à la sortie et 7500 sur le site de samsung ensuite).
Sinon elles sont autorisées à la venter en Europe, elle sont juste “bloquées” au Pays bas … et si elle sont dures à trouver c’est tout simplement qu’elles ne sont pas encore officiellement disponibles à la vente en France.