te cuento.
tengo los zip de instalar room cocinada. de hecho hay he buscado lo que pides y lo he encontrado (pero habría que insertarlo desde recovery)
a parte tengo otro mini libre, donde puedo sacar esto otro que pones (me llevaría tiempo). este le tengo con la rom española de abril 2013 (libre por supuesto)
y a parte tengo otro zip para instalar rom original de samsung directamente desde recovery, no te lo puedo asegurar pero creo que es la rom de stock rusa que circula por este foro.
dime si lo quieres y te paso todo por mail o lo cuelgo en una carpeta de nube, como prefieras.
saludos