How should a non-working fan on a heatsink be addressed?
By ignoring it as long as the computer does not overheat
By installing additional external fans
By applying more thermal paste to the CPU
By cleaning or replacing the fan