I bought a 3DS with Mario pre installed. I've since created a Nintendo account on my system. If I do a system transfer to a new console, then reset the old one, will the old console still have Mario downloadable or will that transfer to my new console? Need to know as plan to sell it. Thanks.