That is about what I remember, and the cable itself was about a half inch. In that case we would want something about .008. That is the size of #32. Something in that range should work well. As I remember, those cables were usually a dark gray, not black. A google image search for that engine gives lots of good photos.