Arduino-IDEのHEXファイルは何処？

マイコンにプログラムを書き込むことができるなら，途中で必ずHEXファイルを作っているよなぁと思い，探してみました．すると公式ホームページ（Build process）にこんな記述が，

The .hex file is the final output of the compilation which is then uploaded to the board. During a "Verify" the .hex file is written to /tmp (on Mac and Linux) or \Documents and Settings\\Local Settings\Temp (on Windows). During upload, it's written to the applet sub-directory of the sketch directory (which you can open with the "Show Sketch Folder" item in the Sketch menu).

上によると，どうやらTempにあるらしい．
で，私windows7なんで，Documents and setting ではなく，
『Users/(ユーザ名)/AppData/Local/Temp』以下を調べてみると，
ファイルがうじゃうじゃ，見つからない．
検索したら出てきました．（当然か．．．）

これを使えば，AVRISP mkIIでプログラムを書き込める．（はず）
これで，便利なライブラリが沢山容易されているArduino-IDEで
プログラムを書いてHEXファイルを作り，AVRISP mkIIで
生romにプログラムを書き込むことが出来る．（はず）
こりゃ，便利な気がする．

ただ，こんな記述もあった．

Sketches are compiled by avr-gcc.

ということは，AVR studioでじかに開発しても手間は同じ？