I wouldn’t have expected anything but the battery to have been damaged. I know it’s hard to give up hard earned money, but you might want to contact a dealer.
kinda doesn't make sense... if you didnt attach the cable well enough, and the cable fell off the battery terminal, then that battery can not be shorted... because the cable is no longer connected to that battery.... The only battery that could be shorted in that scenario, is the one in whatever the vehicle was that you used to provide the boost with....I did not attach the positive terminal to the JD battery good enough. It fell over and shorted out the battery.