If not, you’re free to usually snag one for a couple of bucks.

Cooling your raspberry pi| YouTube viaAdafruit