That'll be enoughThanks a bunch!
By the way, sorry if I'm dumb and missed it, but roughly how much SD card space should I set aside before starting the process? At the moment I have around 200 MB space (before adding the three files)), but I can delete some games, etc.