I have not turned on my Wii U since the 5.5.2 update and I have the DNS setup to block updates. Should I install Haxchi or redNAND? Based on info in other threads it sounds like redNAND is the way to go now because of 5.5.2. Also I have a 128GB SD card but should I buy a 64GB SD card for redNAND? Would I be able to use the additional space on the 128GB SD card?