The devkit is also reasonably priced I hear (~500$ afaik).
Don't know about availability though.