cannot change Animations output file type

[Elaine Meng]

The Save dialog that appears when you click the red recording button is weird. The file type is listed as multiple types and no choice to change among them. I thought I could control file type by entering one of the suffixes listed there as the suffix on the file name. However, when I changed it from mp4 to mov the file I got still was reported as MPEG-4 in movie inspector (or whatever that thing in Quicktime Player is called) so I guess maybe that didn't actually change the format??

For behavior of this dialog to be "normal" (as expected) there should be multiple options of video file format given as the file type, not just one. I only resorted to changing filename suffix in hopes that would work, because there seemed to be no other way to do it. but even that didn't work as far as I can tell. Apparently you can only get mp4.