However, Menon et al. (2012) reported that mice with liver-specific knockout of Tsc1(LTsc1KO) developed spontaneous HCC by 9–10 months of age. The gene discussed is TSC1; the disease is hepatocellular carcinoma.