Paired t-test (same mice): mean change = 3.02 (95% CI 1.65 to 4.38), t = 5.68, df = 5, p = 0.0023 Unpaired Welch t-test (pairing ignored): t = 0.71, df = 9.92, p = 0.495