What is DSP?If I have to re-encode it in which video format should I re-encode?And what about the audio format (the mkv file has Ac3-DTS)? p.s.:Can you tell me to download a good video converter,because I don't have one?