Boas,
Eu também faço parte do grupo e, por coincidência, ontem à noite experimentei converter uns MKV para AVCHD. O resultado foi... não funcionou. Usei o tsMuxeR e o mkv2vob. Não sei se foi da configuração dos mesmos ou se é preciso outros programas, mas foram os que vi no videohelp.com que permitiam essa conversão. Vou tentar de novo e procurar outros programas, se descobrir digo qualquer coisa. Já agora os MKV que usei foram de uma série de anime, e são episódios pequenos e que ocupam só 25MB, uma vez que era só para testes.
Cumprimentos.