Yes these are the end results. And yes you can export it to mdl5 (not 7 but this makes no difference) and hmp. And there's a new update out since a few day with a new flag for choosing 3DGS-version (A6.3 or A6.4) for WED-exporting (there are big z-position differences in WED between these versions)