They were using carbon dioxide fire extinguishers, which are expensive (a couple hundred dollars, see [1] ) and not common in homes.

[1] https://fireextinguisherdepot.com/carbon-dioxide-fire-exting...