Arduino oder nicht?

Nein, dass sind nicht die gleichen Typen. Du wirst wohl nicht drumherum kommen, andere Bezugsquellen zu erschließen. Ich gehe aber davon aus, dass dein Händler auch nicht die Arduino-Boards listet. Du könntest dieses beispielsweise bei Watterott oder Segor bestellen und gleich zwei, drei Mikrocontroller mehr bestellen.