I bought the Philips #000 Screwdriver from iFixit as listed above. It is not even close to what is needed. That screwdriver is like a jewelers tiny Philips head. It needs a much bigger screwdriver.
Did you ever determine what fan to use ? I need to order one for my system.