My 4-71 is a model 4057-C. Under the water pump looks to be an oil cooler. Does it have to be removed in order to replace the pump? Any links to an online manual or video? Thanks