Thanks for the wrench information, haasman and autozen. When you say an S&K wrench, do you mean a particular shape, or just a good quality brand? I used a brand-new Craftsman 10mm crescent/box wrench to remove the fan, which I thought would be pretty good. But the box end felt just a little loose, and chewed on the corners of the bolts a little as I tried to loosen them.

Would another brand of box wrench (e.g., S&K or maybe PowerBuilt, which I saw at the local parts store) work better, or should I switch to a different design, like the ratcheting box wrenches offered by S&K (e.g., http://www.skhandtool.com/productcatalog.cfm?tok=1)? I'm not totally sure the ratcheting wrench would fit in there, and I don't know how much difference it would make, other than minimizing the number of times I have to remove and reseat the wrench. Is there some other design I should be looking for?