I will hopefully be putting up a new wall to section off a 7x10 workshop area in my basement in the coming weeks and I need to get a dust collector for the area. Everything I've found so far either doesn't have a fine enough filter or is overkill for the space I'll be working in. I'm planning on getting a Triton dust mask but I need something to keep the dust from getting into the rest of the house. Can anybody recommend a particular unit or dust collection setup? Thanks!