Sorry Abiel, but that presumes he has set the project settings to match what he wants in his output. If he leaves it at the default Project Properties, then he will get DVD quality mpeg-2. He apparently wants mp4.
But I am not sure why he is specifcally choosing mp4. Why isn't he choosing AVCHD as the output format. Or else using Custom and choosing mpeg-2 Transport Stream as the output format which, as we know, also allows the choice of AVCHD mpeg-4 as output?