I've never used IPMart but the 16GB seems to be available for $545.99
http://www.ipmart.com/main/product/N...hp?prod=325528

Prior to getting my device locally, I was considering several options. Since I wanted the 64GB version, I used live chat to ask when they'll have it in stock. They said they'll be getting it when it's available in the market, whatever that means.