Estoy mirando por ambos manuales y por los ajustes de sistema, pero no veo nada. ¿Sabéis de qué marca es?