ok but if he does not have hax set up etc, it will be far more easier and faster going to system settings and formatting, without the sd card in the console
if he has nnid set up in sysnand and wants to use it with emunand, yes tinyformat is a better choice