How do you change the water pump on a 1987 Honda CRX?

To change the water pump on a 1987 Honda CRX, first disconnect the battery and drain the coolant. Remove the timing belt cover, then take off the timing belt by loosening the tensioner. Next, unbolt the water pump from the engine block, clean the mounting surface, and install the new pump with a new gasket. Finally, reassemble the timing belt and cover, refill the coolant, and reconnect the battery.