TIL: EV fires can quickly be extinguished via a special lance that punctures the battery and sprays water on the cells directly (https://youtu.be/1FWY3LNuPU4).