Ripristinare stock firmware

Ciao a tutti

la mia ragazza ha un as510e, avendo naturalmente un sacco di problemi con memoria interna etc etc, alla fine gliel'ho rootato, e già che c'ero ci ho flashato cm9, dopo un periodo di circa un mese in cui tutto è funzionato più o meno a dovere, ora il telefono è lento, e soprattutto la connessione a internet via 3g praticamente non funziona.
Vorrei tornare alla rom stock 2.3.5 GB, ho guardato sia qui che su XDA ma non ho trovato il firmware con 4 file+.pit per farlo, qualcuno mi può dare un link affidabile o spiegarmi come si fa? Sono abituato a samsung...