My nephew's 3DS charge port essentially broke apart. Now it won't charge. He had some big protective case around it and always used just the cable. The charge cradle won't work either. It looks like Nintendo wants $85 plus tax and shipping to fix it. This gives a one year warranty. Used/refurbished ones aren't terribly cheap either. Will a bigger battery (NYKO or some other company) fix it or will he have to spend the money on fixing or buying a different system?