Re: Manual Top Operation
You don't REALLY need the 'special tool', take a cheap 10mm open end wrench and grind it thin and paint it to prevent rust.
Throw that and the 6mm hex Allen wrench in the console.
If you just got to have it, fire a PM to MrMiata and see if he has any left from the batch he had made.