TSC1 and tuberous sclerosis: This same phenotype was observed in mutants for Tsc1 [32], a mouse model for Tuberous Sclerosis syndrome, a genetic disorder with high rates of comorbid ASDs.