Do I Smell Smoke?

^^This very thing^^ happened in my home town, except it was a bunch of unruly high school students employed by the local slipshod Union 76 station owner. They had a fast charger on a VW bug, and one of them reached in to unhook the battery--under the rear seat, while another reached in and held the seat up. The charger was still under power. The spark blew the battery apart and acid all over the car and them. My understanding is that someone else nearby had the sense to grab a nearby garden hose and flood their faces and eyes. "I guess" there was no serious permanent damage, but that could have been very very bad