I was over at OSH park, and I noticed that the purple Teensy 3.2 (previously 3.1) was no longer for sale. But they now have the Teensy 4.0 for sale:



For USA buyers, it is perhaps the cheapest option to get a Teensy 4.0 ($18 with free USPS shipping), providing you can wait a week or two. I don't know what the shipping charges would be outside of the USA.