Y digo yo, porque en vez de comeros tanto la cabeza, no os descargais un conversor de mp3 a ogg y se arregló el problema? Yo no he probado lo de personalizar los tonos, pero si decís que solo se puede hacer con formato ogg, pues la cosa está clara, no?
Aqui os dejo uno que parece que funciona.
https://play.google.com/store/apps/d...onverter&hl=es
Un saludo.