Questions on the firmware upgrade for Wifi Modue

I am trying to do a firmware upgrade of my wifi module and following instructions here

I installed Atmel's flip programmer on my PC. (no problem)

I downloaded the file wifiHD.elf and just put it on my desktop for now. (OK place?)

I downloaded the AVR 32 Drivers. And I unzipped the folder and just put it on my desktop.

Question 1: What do I do with the AVG 32 Drivers folder after I unzip it? The instructions say to "install the AVG 32 Drivers" but not sure how?

Now I open a command prompt and go to inside the flip installation directory.
c:/Program Files/Atmel/Flip 3.4.7/bin/ (no problem)

Question 2: the CMD line prompt is:
batchisp.exe -device AT32UC3A1512 -hardware usb -operation erase f memory flash blankcheck loadbuffer /Arduino/hardware/avr/arduino/firmwares/wifishield/binary/wifi_dnld.elf program verify start reset 0

but /Arduino/hardware/avr/arduino/firmwares/wifishield/binary/wifiHD.elf is the directory structure on the internet www.github website. I just downloaded wifiHD.elf and put it on my desktop, was that not correct?
What is the "root" or top level of the structure:
/Arduino/hardware/avr/arduino/firmwares/wifishield/binary/wifi_dnld.elf
?
Do I make that structure in C:/ ?
Was I supposed to only download the wifi_dnld.elf file? or was I supposed to download the entire /Arduino/hardware/avr/arduino/firmwares/wifishield directory structure somehow?

Finally

Question 3. There are two command prompt options:
batchisp.exe -device AT32UC3A1512 -hardware
and
batchisp.exe -device AT32UC3A1256 -hardware
How do I know which to use?

Thanks for any help on those 3 questions.
Drew

I found much better instruction for this firmware upgrade here:

http://blog.jongallant.com/2014/12/arduino-wifi-shield-firmware-upgrade.html

That posts answered all my questions. Sorry, I should have widened my search sooner.

Other good "unofficial" instructions are at:

UPGRADE COMPLETE!