Your probably right that it's a 20'' shaft model, but that never
occured to me since I knew that the shaft length was greater than 20''
when I measured from the top of the shaft to where it enters the lower
unit. That's definetly one piece of information that comes from
experience (that I don't have). I think the service manual was talking
about the full shaft length, top to bottom.