Anyone know what the diameter of typical jet steering cable end is (pump end)? I need to shim the cable to the steering tube and the boat's at the river so can't measure.