Opino lo mismo que davidjg: no creo que merezca la pena meterse en reparaciones.