Brother, prácticamente te respondiste a tu pregunta, y es que te vayas por el Galaxy Mini, ya que tienes la posibilidad de ponerlo a Android 2.3.6 oficial de Perú (de ninguna operadora), aparte que tienes el soporte de Omnius, para cuestiones de liberación, root, etc. y algunas ROMs, que personalmente no he probado, pero tienen buenos comentarios, saludos.