Fan for official heatsink?

Hi - does anyone what size fan will fit the official heatsink for a Rockpi 4B? The Pi is about 50km from where I am, and installed in an alarm cabinet with not great air flow, so looking to add a fan.