No recomiendo usar ni el ROM Manager ni el Boot Logo Changer.
El ROM Manager por que en el Galaxy Mini a causado innumerables bricks irreparables manualmente por cosas en las que no pasa en otros Smartphones.
Y el Boot Logo Changer, por que básicamente he probado ese y otros tantos mas del Play Store y no funcionan. Cambiar la bootanimation solo me ha sido posible de forma manual.
Por otro lado tengo entendido que el Theme Manager solo es compatible con ROMs basadas en Cyanogen Mod, pero corregidme si me equivoco.