No. El diseño del EF3 es open source así que puedes pedir los componentes en cualquier sitio. Retro Innovations que yo sepa vende los EF3 ya montados (no en kit) y por $65.
Yo he pedido los componentes a DigiKey y Mouser. Las placas son de PCBWay. Y hay un par de componentes de Aliexpress, que son los que más van a tardar: el conector miniUSB y los jumpers, pero ya han salido así que calculo que en menos de 2 semanas estarán aquí.
Ayer estuve un rato con el soldador, y así va quedando:
Tengo pensado hacer una caja impresa en 3D a partir de este diseño. El precio sería lo que me cueste el filamento (si son, p.ej. 200 gr de una bobina de 1 KG de 20€, pues serían 2€ más), pero habría que modificar este diseño para hacerle los agujeros para los pulsadores y el LED:
https://www.thingiverse.com/thing:1702546Si algún manitas del 3D se anima no se lo discutiría...