Used stock starter from a 911 with the 930 gear box. I bought it off Ebay to trial fit, cost about $30 or so. I'll send it to you for $30 (not overseas). Unknown condition, but I was told it worked. I can throw 12V on it and see what it does.
Hey Ron, I may be able to put that starter to use if it's similar to the one I am currently using. Btw, what is the tooth count on that pinion gear? If you get a minute, can you post a picture?
Tim, I don't know what the tooth count is right now. It is at work, but I can check on Monday. I've got some other Porsche stuff to get rid of as well that I'll post here next week if anyone needs it.