If the installer worked, you'll see 4 new "Teensy" items in the Tools > Boards menu, and a couple new menus like Tools > USB Type.Thanks. The teensy boards are there i see now and the usb type and cpu speed items are there but greyed out. Possibly because i declined the usb driver install. No change in the window restart behaviour.
I'm keenly interested in this though - Where would I look figure out what's wrong?