ADK 2012 availability

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.