Apparently my memory is bad - it was treated with oral ivermectin, to kill dermodex (which are the mites). The eye doctor, who has a journal article somewhere

Apparently my memory is bad - it was treated with oral ivermectin, to kill dermodex (which are the mites). The eye doctor, who has a journal article somewhere about this, is Dr. James McMillan, of Medina Eye (in Bellevue, WA). Expensive ($400 for a visit), but great care.