Genuino Brand

I stumbled across this thread while searching for a source for the Arduino Tian. Is it available anywhere yet? I'm in the USA, but I'd be willing to buy overseas...