I have a small red handle Heyco Screwdriver coming in about 2 weeks. $50 plus shipping.
Fyi: The faq section houses a seperate thread on this most important aspect of e9 ludicracy. Various pictures explain differences of various tools. Many variants exist as similar but different ones were used in later e12, e24 models and even onwards.Thanks, Erik. We can compare the red drivers in our tool kits with Harry's, assuming his is the real deal. This will be interesting.
.... Is there a faq section? I suspect so. Or we can start one.
e9coupe.com