I suppose it would be wise to tear down the vivarium and start over anyway, wouldn't it? To prevent possible future reoccurrence? If the parasite(?) is already in their home. Just thinking ....