http://identifiers.org/mgd/MGI:3712064 MGI:3712064 Tsc2<ko> Null/knockout Tsc2<tm1.2Mjg> targeted mutation 1.2, Michael J Gambello