Workers try to extinguish lithium ion battery fire with water - GIF

[Inner]

I have to wonder if the three fire extinguishers shown at the 12 second mark would have worked better.

[astroscuba]

I'm retired from hospital maintenance. We were considered first responders for fires as well as several others emergency situations. Lithium batteries were just coming on the market and were nothing like today. I only knew from past videos that adding water to lithium only exacerbated the problem. I do not see any residue in the after-fire photos indicating what may have been used as an extinguisher media. Do any members have more insight? I have multiple ABC extinguishers in my home and shop as well as fire blankets and many lithium batters for my tools. What is best extinguisher in a home/shop for lithium fire?