Thanks to all who responded with your ideas.

Just a note of closure here: It turns out the fan installed by the other shop 9 months ago was a cheap aftermarket supplied by the customer. That probably explains his lack of desire to pursue warranty against the... Login to read more.