re: Workshop fire -- averted . . . and a "whuf" question

I say dull bits. I’ve had embers before. You did the right thing by removing the dust from the shop and spraying it with water.