Here we have developed an HLA-A∗02:01-transgenic NOD-based T1D model that is heterozygous (het) for the Ins2KO allele, resulting in thymic insulin expression that is decreased but not eliminated. Here, INS is linked to type 1 diabetes mellitus.