OUCH! Sorry for your trouble... but your starter is...
... probably OK.
When the wrench "shorted" the terminals... it shorted AROUND the starter, and not THROUGH the starter. I would suspect some damage externally though. In any case, you really should drop it and check it out. Here's what I find to be the EASIEST way...
1. Disconnect NEG battery cable at the chassis.
2. Loosen the three starter bolts from the TOP. Remove any air cleaners or fans that may be in the way. Wire-wheel the bolts and lube.
3. Jack car from center point on trans crossmember using a floor jack. Place stands for safety.
4. Reach up between the radiator hose and pan... grab the starter, pull to the right and down, and BIRTH it from between the radiator hose and pan... collapsing the hose for clearance.
5. Let it hang... then unbolt battery cable and alternator lead, un clip the other two from the ignition and the voltmeter.
6. Inspect for damage and repair same...
7. Bench test starter in front trunk using jumper cables BEFORE you reinstall it. Be sure you test THROUGH the solenoid also. As Jim said, the starter could have gotten jammed up... tapping it and ensuring the drive engages and releases manually is a good idea too.
8. Still in trouble? Test battery for 12.6 volts or better... Have you done the BWM mod? Give me a call if ya want... and I'll do what I can... 661-296-7277, 9 - 9 PLEASE!
Hope this helps...