It's not in the File > Save Special for some reason, it's in the Save As graphic button in File section, it will save to avi, if you need mp4 you will need to convert it with a free encoder.