If they, hypothetically speaking, still have more than 12v across the really big capacitor, its the 7805 that's dead. If they shorted the power coming from the capacitor... Well I bet that was a wake up call...
I got across a power lead on a 20 amp circuit with a meter lead once. Where the meter lead touched the chassis, it melted... And shot one giant spark...