JS9000 es el modelo de TV de 2015 cuyo OCB es idéntico al SEK-3500.
Pero el OCB en concreto (al menos la unidad que he comprado yo y que me funciona perfectamente) efectivamente es el BN96-37087Q.
Siguiendo los pasos de este hilo se "convierte" de manera bastante sencilla en el SEK-3500 con todas sus funcionalidades, por lo que tengo entendido son exactamente el mismo hardware.
Saludos.