Actually the fan fell off yesterday, so I just put some oil in the old fan and reattached it. Meanwhile, I ordered two fans from the URL above, which should last me until I finally decommission this computer in a few years.
Fan noise has never bothered me much; replacing them is an entirely different story. Especially when their proprietary.