sabeis si en españa se distribuye la version del lcd samsung con tdt integrado? es decir con referencia LEXXR51BDX, o LEXXR41BDX? solo la he visto fuera de españa, pero aqui nada de nada