Esportare in HD con Menù non su disco?

Ciao a tutti.
Mio padre riprende con una Sony HDR-CX520VE in alta definizione sulla memoria interna o su Memorystick, per poi montare tutto con Magix Video De Luxe 16 Premium (la versione top, per intenderci).
Volendo esportare tutto il montato in HD con Menù, ma senza necessità di masterizzare DVD, MiniDVD, BluRay... come si può fare?
Devo preferire AVCHD, WMVHD, MKV... quale?
O devo usare un altro programma di authoring?
Su Internet, e sul manuale non riesco a capire se l'AVCHD prevede una sorta di menù statico anche senza disco...
L'idea dopo è di riprodurre tutto da WD TV, o simili (player da Hard Disk), ovviamente appunto con menù...

Grazie e ciao!