When replacing a water pump on a school bus diesel, the technician should also:

1. Reuse the old gasket/seal and old coolant
2. Inspect the drive belt, fan/clutch, and replace coolant per the manufacturer's specification with a new gasket
3. Skip refilling coolant until the next service
4. Tighten the pump pulley by hand only