Hilti manufactures two electric diamond cutters, the DCH 230 and DCH 300. I think they are relatively new units. Retail on the 230 seems to be just under $1000. They connect to a vac unit (the Hilti match is a $800 vacuum!!) to eliminate/reduce dust. Has anyone had any experience with these units?