Ok, it's taken a while, but Arduino 1.0.2 Teensy 3 Beta 9 is now working with teensy 2.0 and teensy 3.0 on 32-bit Vista, 64-bit Ubuntu 12.04, and 32-bit XP (running in a virtual machine under Ubuntu). I had a very hard time getting it to work on the Ubuntu system because the Arduino menu items...