Tsta3<tm1Jbl> MGI:2651890 http://identifiers.org/mgd/MGI:2651890 Null/knockout FX(-) Tstap35b<tm1Umich> targeted mutation 1, John Lowe