My basement has flooded in the past and has a fair amount of
dust that is difficult to remove. Using a wet-dry vacuum doesn't get
all of the dust. Using a broom is only moderately helpful. I am
thinking of using a pressure washer, but I hate to introduce water to
the basement. Does anyone have any ideas as to the best way to clean
it?

Thanks,

JD