Yo conocia otro metodo que ya he posteado alguna vez ( es este:
http://4ndroid.com/como-obtener-el-a...g-galaxy-mini ) pero este que has puesto tu parece mas facil, alguien lo ha probado ya?
EDIT: Me acabo de dar cuenta de que son iguales, pero en este explica que tienes que usar Kies.