If I understand your question correctly, you might try opening Device Manager. Make sure to expand the "Ports (COM & LPT)" area, then see what shows up in that list of ports when you plug your Teensy device in.
Hope that helps . . .
Mark J Culross
KD5RXT