En Wallapop hay ahora uno a 300 eur. No indica si es nuevo o si es español.
Tambien esta el SEK-3500 español a 450 eurazos.

Donde mas se ven es en Amazon.co.uk y buscas por JS9000 o por BN96-37087Q que es el ingles. Ahora hay uno usado a 51 libras para ir subastando y suelen acabar por unas 200-220 libras. Tendras que fijarte si envian a España y la descripción para ver si esta en buenas condiciones o no. El que tienen ahora pone que tiene bastantes marcas de uso pero a lo major por eso acaba saliendo mas barato.

En cualquier caso yo no he encontrado nuevos. Todos usados.