MGI:5563534 Hottip<tm1Vlcg> targeted mutation 1, Velocigene Reporter|Null/knockout http://identifiers.org/mgd/MGI:5563534