ADK 2012 availability

Google only gave away the new ADK at Google IO. But they put all of the schematics and boards online. I was wondering if anyone knows of vendors that have spun and are selling their own boards.

Thanks

The official Arduino Team has been selling their own ADK board for a while now, and while not all their distributors chose to stock it a number of them do. There probably are some other third party ADK boards, but off hand I can't recall any.

I was referring to the new board based off the SAM3X, which is same chip on the Arduino Due.