Well anyway. He will have no problem. Nintendo actually urges users to make fan made Mario games. They are not strict when it comes to it. I mean just look at www.mfgg.net , a website full of fan-games and parodies.