Hey, I've got a 4000NEX and a 4200NEX both of which are bootlooping and I'm guessing it needs a new internal SD card. I'm not willing to pay the extortionary prices for a preformatted one on Ebay. I've heard I may be able to get help on the avichacking slack channel, but I'd need someone to let me in.