I've heard of some people (like this one) using the +5v from the PCMCIA card cage to run the fan off of a little switch they've installed. May be worth trying, or googling for other solutions, if you're concerned. IMO, those machines have to get way too hot to get the fan spinning, like 70 or 80˚C. For a "laptop", that's uncomfortably warm.