Buen día.  Debería reemplazar  timer.  (Es de 6:40 hs - descongelado 12 minutos). En mercado me ofrecen igual tiempo de funcionamiento, pero  defrost 9 minutos, o de 6:25 hs, defrost 7/5 min.  Cuál podría reemplazarlo?    Muchas gracias,  Saludos.