Come to think of it, in dusty environments, some sort of mask or respirator (N95 or better) is a jolly good idea. Effects of dust aren't immediate, but they can be profound....