A ver...
Si haceis format data desde inicio borrais la interna por lo que no os pedirá desencriptar, si no teneis que dejar el patron de vuestro terminal puesto y no quitarle, si teneis pin debeis cambiar a patron.
Si, con meter la stock por zip te recupera el recovery original, después desde adb bloqueas.