Fan + heatsink for Rock3a + Penta SATA HAT

Hello.
“Rock 3a” board has “Penta SATA HAT” expansion board installed.
The processor has a heatsink “Heat sink for ROCK 3A

I noticed that the temperature of the processor is often in the range of 61-66 degrees Celsius. I want to add cooling with a fan.
Can you please tell me what kind of radiators + fans you use to cool the processor?

From what I understand, the “Penta SATA HAT” board can be lifted up using “40pin-header-socket” to increase the height between the boards.