No stock, I just prefer to stick with known good remedies.
A bit of background:
I rescued a dog nearly 10 years ago, a beautiful loving dobe. She was surrendered to a dobe friend, by horrible backyard breeders. She had demodectic mange (mites). The vet tried a number of the usual remedies, yet reluctant to try ivermectin due to the risks involved (disastrous to collies and some others). None of the traditional remedies worked, and she kept losing hair. After the appropriate tests, the vet tried ivermectin. It killed the mites amazingly quick, and her hair started growing back nearly immediately. To this day she is a great healthy dog, and no one would ever believe that she had mange as a puppy or even that she's a rescue.
So I offer this: If you have tried the traditional remedy (PAM), and it really doesn't work in this case, then ivermectin might be a viable option at the discretion of a competent herp vet. However please consult said competent herp vet prior to use.