Old Craftsman Pressure Washer Pump Repair Will It Work