Fixing a noisy GPU fan