Teensy/Arduino IDE Help

teensy_MED.jpg

WWWWOOOOHHHHHOOOOOO!

Bought one of these bad boys from -Adafruit- yesterday!

USB native hehe! but not here yet. (of couse used USPS first class)

need a bit o’ help though. i want to get those .HEX files after Arduino compiles them. I am on a mac. where are those hex files?

tried searching  but, no luck probaly in .tmp folder :p.

Any help would appreciated!