So my brother's 3DS has a vertical line of dead pixels on the top screen and we are going to send it to Nintendo since it's still under warranty. My question is that since he has a digital copy of Zelda ALBW on it, will it get deleted? If so, can he redownload it when he gets his system back?