Buenas, estoy pensando en comprar el modelo 8535 , aunque estoy mirando también la xiaomi de 55 porque es unos 200€ mas barata, merece la pena pagar mas por la Philips? Gracias de antemano