My brother is thinking about getting a 3ds for my nephew, but he won't be buying games for the system and he isn't one to deal with hard-modding and stuff so if it comes with 11.0.0 it will be useless. Is a n3ds bought in stores in new york likely to still be on 10.7.0 or lower?