The new 3ds xl is available in some store but only in red color. Is it because most have newest firmware? is it ok to buy them? Any idea when Nintendo will ship again to USA? I am looking to buy 2 but I think I read somewhere that most red ones comes with 9.4, so I am hesitant to get them.