I have now researched the whole market for a tiny heatsink with fan to fit into the DM800HD tight space between the Broadcom chipset and tuner.
The height is about 13mm total.
But i found a heatsink of 35x35x6mm plus a 5V DC fan of 25x25x6.5mm which qualify for the 13mm height.
Now i can use...