Por supuesto has hecho bien, es lo que aconsejamos hacer en el caso que no se hayan podido desencriptar, por si en un futuro crearan /actualizaran alguna herramienta para ello.
Han actualizado la herramienta, si con el primer archivo no funciona, sigue probando con algunos más, puede ser que no todos los archivos se desencripten.