I've seen a review or two that suggests much better cooling if you replace the stock fan of the Taisol CGK742092 with a 7000 RPM one. If this is true... where can I get one and how do I know it will fit? Has anyone here replaced their stock fan with a 7k? Thanx in advance,