FYI, the board at the head has extra Gcode controlled fan output.
My vote is one or two of these. https://www.digikey.com/product-detail/en/BFB0312HA-A/603-1112-ND/1014443
Hint, same fan SeeMeCNC uses for print cooling on their Delta printers.
Same fan I used on Fredinni's Core XY.
Yes, they are $12 each.
Yes, worth EVERY penny
Yes, the fan outputs are 12V thanks to the built in 12V regulator on the motion control board.
Yes, as far as I know, normal M106 S255 and M107 turn on and off the fan output and it is PWM.
These are very quiet, very light, reasonably powerful, double ball bearing last forever kind of fans.
I also bought these 35mm thicker fans with higher CFM before i got my printer (in the process of installing them) to better cool the cold end of the extruders https://www.digikey.com/product-detail/en/ASB03512HB-F00/603-1722-ND/3444176
Now I have a slicker 40mm fan and it's working great.