Ni idea del modelo que indicas,aunque por el inicio 80032 ya es raro (para mi)
¿puedes indicar los dígitos primeros del serial? ej. J4