I have an O3DS XL that I was using rxTools a couple years ago with. I've upgraded to a N3DS and was going to give it to my little brother. He's not really savvy enough to mess around with this stuff, and I wouldn't want him finding out and trying to install CIA's or anything (he knows I do this and he thinks it's cool, but he's not patient enough to take the time to figure it out, so I want to just update to 11.3.) So, from my understanding, as long as I didn't have A9LH, I just take out the SD card and perform a system format in sysNand, right? He's not going to run into any trouble, is he? Thanks!