Just playing around with some of the AVCHD outputs. Selected the default AVCHD 1920x1080i (NTSC) with 16Mbps bitrate.
I have Quicktime 7.55 as my default .mp4 player. When I try playing the VMS9.0a output file, I get this error:
Error -2048: Couldn't open the file test.mp4 because it is not a file that QuickTime understands.