Post date: 19-Jan-2010 17:38:07
I gave up on complicated solutions. I could not find out easily how to get the fan out of the computer. I therefore put off the evil moment. I have detached the fan plug, attached two wires and power it externally from a 3V supply. So far working just fine. A bit tedious, but the computer is getting old (2003) so not worth spending a lot of time and/or money on.