La samsung esa esta bien, es una pena que sea de 50Hz en esa gama, a partir de la 7000 ya cambia (el precio también jejeje).
En ese caso que dices que aunque ahora no usen el 4K pero que les dure (me imagino por el tema del tdt y demás que sea compatible) es lo más sensato a día de hoy en ese camino a seguir claro.
Si eligieras en 55", tienes la Sony KD-55X8508C por 1058€: Sony KD-55X8508C y en gama media para 4K es lo mejor que hay en estos momentos (100Hz, VA, HDR, mayor color, etc...) totalmente equipada para el 4K, yo aprovecharía para comprarla antes de que se agote.