Como dice dieguitofernandez, todavía no ha salido, pero hay clones por el foro, ya que las especificaciones y código de la placa si que los sacaron, creo que si les pides alguna montada (si no te manejas mucho con el soldador) te la podrán dar a bastante buen precio.
Vinciduino: http://arduino.cc/forum/index.php/topic,78781.0.html
Se supone que la Leonardo la van a sacar en ya, pero llevan diciéndolo varias semanas y la nueva versión del IDE de Arduino que va a salir en unos días no tiene activada la placa Leonardo, por lo que no creo que salga a la venta a muy corto plazo.
En cuanto a donde comprar una, como dice dieguitofernandez tienes la alternativa de copias chinas en dealextreme, ebay y demás o distribuidores de placas oficiales como pueden ser Ardutienda, BricoGeek, Electan, Farnell y muchas más.
Ya depende de lo que te venga mejor.
Un saludo