Anyone on the FOG have first hand experience with the Dust Removal System (DRS) for either the Hilti TE6 36volt cordless or TE7 corded rotary hammer? I got to drill a couple holes in the store and the DRS seems to work well. Just wanted some jobsite feedback.