ALOX15 and Splenomegaly: To explore whether Alox15b-KI mice suffer from splenomegaly, we compared the spleen weights of middle-aged (30–40 weeks) Alox15-KI mice and outbred wildtype controls but did not detect significant differences between the two genotypes (Table S6).