control: 8 mice, 0 below the limit of detection (10 CFU); detected mice range 100 to 300000 CFU treated: 8 mice, 4 below the limit of detection (10 CFU); detected mice range 20 to 42000 CFU A. Raw CFU, Welch t-test: mean treated 5284, control 39388, p = 0.39 B. log10 CFU, below-LOD values set to LOD/2, Welch t-test: difference -1.64 log10 (95% CI -2.97 to -0.30), p = 0.02 C. Mann-Whitney test on CFU (below-LOD values tied at the bottom): p = 0.017 D. Censored (Tobit) model of log10 CFU, LOD treated as censoring: difference -1.99 log10 (95% Wald CI -3.42 to -0.56), likelihood-ratio chi2(1) = 6.73, p = 0.0095