looking for DSK C6416 ready to exchang with our DM6437

Hi
 We have a new evaluation board DM6437 (in the original BOX)
We just finished developing a daughter card with LATTICE FPGA machXO2280
connected on the DSK C6416 dither card connectors. (With two UART on it,
that work OK)
1. We would like to exchange the evaluation board DM6437 with your
evaluation board DSK D6416!
2. we want to buy another DSK C6416 immediately! Is there anybody to sell

Thanks Eliezer