It's very common to have paint thinner in an auto body repair shop Which would be the most effective way of extinguishing a puddle of thinner that catches fire?