That is very interesting I have never heard of the drug you talk about. Would there not be a way to kill the "Vibrio cholerae" pathogen that creates the toxin? Is it a bacteria or virus?
Also if this is leaky gut, have you tried the other ways to cure leaky gut? Any ideas you have would be helpful.