A mi sinceramente me interesa más el at90usbkey que el teensy.
Además el problema es que no somos todos de la misma zona y si al final vamos a tener que estar con envíos es un jaleo (Aunque siguen siendo mejor los 6€ de paquete azul que los 18€ que cobran en digikey si no llegas a los 65 pavos). No se si a alguno se le ocurre como organizarlo...
Un saludo