I had a basement perimeter drain installed a couple of months ago and have waited till we have some heavy rains to check for effectiveness of the install. it look s like things worked well and water is being routed to the sumps and they are extracting it.

Now I need to clean the jackhammering cement dust up so i can start using the unfinished basement again. My question is what be the best approach to doing that?

I’m thinking a shopvac with a paper filter may be all i need to prevent dispersing any more dust into the air than I have too. I’ll also wear a mask while doing this. or maybe just good mop and a bucket/wringer will be the best route?

thanks in advance