They are .mkv files ripped off Blu-Rays.
I've found that mediacoder uses CUDA but it doesn't support the newest Divx codecs.
I'm particularly interested in Divx because i can end up with a file 1/3 of the size with no great loss of quality.
I think, after further research, that I'm looking...