Hola @toyogirl

Efectivamente el w890 es un modelo DB3150, por lo tanto su personalización es con el software a2Uploader.
Con respecto a la liberación del teléfono, lamentablemente los modelos a2 como tu w890i NO pueden ser liberados de forma gratuita. Ademas, comentas que lo reportaste como robado, eso quiere decir que el IMEI ahora esta en la lista negra, lo recomendable en este caso es que lo lleves con un técnico y para que el te ayude con tu problema.

Saludos y suerte.