To be honest i think u will struggle to set it as default player for all files, but its easy enough to open them from Divx....