I bought 3 DSis unknown condition and at least one of them works, and the previous owner bought games on the DSi Shop. I don’t know if I should reset the system memory or not, if I format and reset everything will the games still be available for redownload in the DSi Shop?