The dealership told him to buy aftermarket? That's odd. On a lighter note your friend can look into the HKS fan temp controller. It will allow for accurate monitoring of the temperature as well as let him control when the fan turns on, etc. Very nice part to have and is easy to install.