FMR1 and fragile X syndrome: Additionally, these studies show that Fmr1 KO mice and Fmr1 KO/Fxr2 Het mice may be useful for further examining the consequences and potential treatments for the sleep problems in FXS.