FMR1 and fragile X syndrome: Many symptoms of FXS have been successfully modeled in Fmr1 KO mice.