Para mi X10mini no hay Rom manager por lo menos no en la web oficial, asi que creo que lo dejare como esta y hare las pariciones desde fuera. He leido por ahi que ademas el Rom Manager es 1 poco peligroso, si no es de tu version puedes petar el telefono.
Pero muchas gracias ! !