Have they even release 128Gb Micro SDXC cards yet? I've seen standard sized ones, but no micros to date. Last I knew SanDisk was saying 2013Q3 for micro, and they've historically been first to market for micro.