I assume the reason that I am unable to install Teensyduino 1.15 on top of the beta Arduino version 1.5.2 is because this version is not yet supported. (At least it says so in the splash screen.) Will one be available soon? Arduino 1.5.2 is required to run my Due board, which I'm trying to run as a side-by-side comparison with the Teensy3. Thanks, and sorry for all the questions I've been asking lately.