The case is internally mostly empty, so the Top cover is ~18mm above the PCB, in the Video it looks like the fan is lower than the HDMI Connectors. The Cooler with the fan then will fit.
Radxa does not provide some measurements for the cooler with fan on there website.