Tsc2<c-del3> MGI:4354599 Tsc2<tm2.1Djk> Conditional ready|No functional change targeted mutation 2.1, David J Kwiatkowski http://identifiers.org/mgd/MGI:4354599