My kid formatted the SD card.

We bought a Brick for my son on Facebook marketplace. It came with the 64GB SD card with all of the games. He was looking at all of the "apps" in the Brick and ended up formatting the SD card, because he didn't understand what that meant. He thought it probably organized the files (face palm). He's 13, but hadn't learned that lesson yet. He's learned it now.

Is there a way that we can re-download those files? Or do I have to go looking for each individual game.