Wow, seems like a lot of fuss for whats normally all done from ClockWorkMod. I flashed my S3 this weekend with CyanogenMod as I was going to factory reset it anyway, and it only took a couple minutes to download and flash it, with Gapps, all in one go.