That sounds like a good plan, Mark. Be sure you hit the undersides of the leaves well. That's where the mites like to lurk.
Could you find any evidence of spider mites? The only time I ever have these mites is on plumeria that overwintered in the solarium last year. The infestation didn't even affect the plants, I just saw the tale-tale sign of the fine webbing. I gently scrubbed the leaves every few days, top and bottom, with plain water and in a week or so, there were no more mites. They don't like the moisture, but since the solarium has central air and heat, it is far more dry than growing the plants outside. Of course, we have lots of constant humidity and y'all in San Diego probably don't.