You could have saved yourself some trouble by checking here first:
The Mini 4K isn’t listed. Support for it can be requested on this page. Or through support.dxo.com. Or here: