I thought for sure that somebody would know the make/model of the OEM fan.  Sounds like it is a variable speed 4,000 RPM 120mm fan but without the specifics I'm not sure if a replacement is good/better/worse.