There are nice utilities for capping your CPU frequency on Linux. So, IMO it would be better to have the fan, set your cap low enough to not need to use it most of the time. Then if you do need it, you have the ability.