difficult at this point to recall everything exactly – I’m dealing with files that were created about a month ago, prior to upgrade.
I believe I used something like AVS Video Converter to convert them from AVCHD 1920×1080. They are now .avi files, 1920×1080, 29 frames/sec. Short clips – probably about 150mb average (down from over a gb each in native AVCHD).