In quel thread c'è anche chi dice che dopo l'assistenza è tornato con l'IMEI originale.
Quindi valuta tu cosa fare, visto che hai anche il backup della cartella EFS, se è il caso di mandarlo in assistenza.
Ho letto che esistono dei box in grado di impostare qualsiasi IMEI, ovviamente il prezzo ne sconsiglia l'uso per operazioni una tantum, magari però i centri assistenza hanno qualcosa di simile.