The mites apparently didn't like the treatment, so they moved, and now it seems they've all gathered in poor Rustan's right ear! I'll clean it out twice a day and hope the live ones get away that way. But you can of course never be 100% certain you've gotten them all.