Just keep in mind that if you kill the mites, you now have dead mites on your buds, and you do NOT want to smoke them. I'm not sure of any ill health effects, but it will probably make you cough and want to vomit. I've smoked mites, it's no good, that's a one and done kind of situation. You could make an extract though, and probably be alright.
But I'm a stickler, and if it were my grow, I'd cut out every piece of plant that looks like it might have mites, and get it out of that space, and then clean the space. If you can salvage the grow, go for it, but keep an eye out for more mite damage, and don't introduce ANY new plants to your house until you've finished the grow, cleaned the space, and removed any possible vector of transmission.
Good luck.