Rom per Nodis ND-501i

Ciao a tutti,
un mio collega ha il telefono in oggetto e sembra che si sia beccato dei virus perchè, da come mi ha descritto il problema, è diventato lentissimo, si attivano app che lui non ha mai installato e così via.
Gli ho proposto di riflashargli la rom, ma non riesco a trovare niente per questo terminale. Su un altro forum ho letto che i Nodis sono in realtà degli Xiaocai rimarchiati; se è vero, qual è il modello Xiaocai corrispondente al suo telefono?

Grazie a chi mi saprà dare qualsiasi info.

Ciao,
Alberto