An employee was replacing the rubber gasket on a dredge boat's discharge pipe. The dredge boat was moving with the waves, which pushed the dredge pipe into the pontoon of the boat. The employee was holding the end of the dredge pipe when it struck the pontoon of the boat. The employee's right index finger was caught between the end of the pipe and the pontoon, resulting in a fingertip amputation.