FMR1 and fragile X syndrome: The Fmr1 KO do exhibit behavioral phenotypes typical of FXS, but have been found to be milder.