Yes, that's the one I used. What do I do with the tickets to get my stuff back? I don't think I've never bought anything from the eshop on this system, but I'm pretty sure I've downloaded some updates for games at one point.
edit: Oh what a bummer. Thanks for the help, I'll make sure to make...