Saving iMovie to MP4

We had this question the other day at the desk -- how to save a video in iMovie as an MP4. Here's a page that shows the steps for this.