He llamado al 902 de la tarjetashell y me han dicho que el modelo es este: PHILIPS - 32PFL2807/12.
Pues no se yo si merece mucho la pena.

Un saludo.