Yes, Raspberry Pi Active Cooler Fan is the recommended one, it works out of the box automatically, the speed is based on the current system load and temperature.
If using an alternative fan, you might have to use slightly higher extenders. For extremely high clearance, a GPIO expander header can work to make Pisound still be able to make contact with the header pins, as can be seen in: