Uploading sketch with teensyduino
All of the Teensy boards have a dedicated micro USB connector for programming via the Arduino IDE. The USB1_DP and USB1_DN (for the USB port) are the only pins that are reserved, so you can freely use all of the TX/RX pins that are available.