SHANK3 and insomnia measurement: We have previously shown that male mice with a mutation in the high confidence ASD gene Shank3, Shank3∆C, recapitulate most aspects of the ASD insomnia phenotype.