[...trimmed text...]

Jumping a battery backwards will leave arc-welding type marks on the terminals.

You don't state exactly what the tranny shop did, but if the trans had to be removed, maybe they forgot to disconnect... Login to read more.