At the end of the thread identified above: "Thanks for the all of the information everyone. I crossed referenced the Arco #5376 and it is 12 volt, so I am assuming that the original Auto-Lite starter was as well. "
I am thinking that the Arco 12 V starter would therefore fit in the bracket used for the 4001 (6V) starter. That would be convenient. I do believe that the 4001 starter is really 6V but 12V works no problem. Last summer I ran my 1956 Johnson 30 hp a lot using a 4001 starter and a 12 Volt battery. It worked perfectly.
The real question is do you have a bracket that fits whatever starter you have. I think I would just order the Arco and find out or alternately send measurements (including bolt spacing and body diameter) of the old starter to Arco. Maybe someone else has a better idea.