Polymerase chain reaction-based assays facilitate the breeding and study of mouse models of Klinefelter syndrome