MGI:2183900 http://identifiers.org/mgd/MGI:2183900 targeted mutation 1.1, David J Kwiatkowski Tsc1<-> Null/knockout Tsc1<tm1.1Djk>